Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 40fb017ca1c56540482ca9c6cf56b3c7fd6c6c01)
+++ kernel/generic/src/console/cmd.c	(revision 0eff68e2235e2f4737160b4f06cd3e6c1b217a5e)
@@ -1107,5 +1107,5 @@
 	release_console();
 	
-	event_notify_0(EVENT_KCONSOLE);
+	event_notify_0(EVENT_KCONSOLE, false);
 	indev_pop_character(stdin);