Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
+++ kernel/generic/src/console/cmd.c	(revision 3ab2d1e563d9fbe43bec58eb8d4ade0584da1e7d)
@@ -1357,6 +1357,4 @@
 	printf("The kernel will now relinquish the console.\n");
 	release_console();
-	
-	event_notify_0(EVENT_KCONSOLE, false);
 	indev_pop_character(stdin);
 	
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
+++ kernel/generic/src/console/console.c	(revision 3ab2d1e563d9fbe43bec58eb8d4ade0584da1e7d)
@@ -204,4 +204,5 @@
 void grab_console(void)
 {
+	event_notify_1(EVENT_KCONSOLE, false, true);
 	bool prev = console_override;
 	
@@ -221,4 +222,5 @@
 {
 	console_override = false;
+	event_notify_1(EVENT_KCONSOLE, false, false);
 }