Index: generic/include/ipc/irq.h
===================================================================
--- generic/include/ipc/irq.h	(revision abbc16e9bc4db4ecd88808e50f3cf7b37cb85310)
+++ generic/include/ipc/irq.h	(revision 62939f75c170f1f9bc18ec3a7157792a32b0e11c)
@@ -42,5 +42,6 @@
 #define IPC_IRQ_RESERVED_VIRTUAL 10
 
-#define IPC_IRQ_KLOG  (-1)
+#define IPC_IRQ_KLOG       (-1)
+#define IPC_IRQ_KBDRESTART (-2)
 
 typedef enum {
Index: generic/src/console/cmd.c
===================================================================
--- generic/src/console/cmd.c	(revision abbc16e9bc4db4ecd88808e50f3cf7b37cb85310)
+++ generic/src/console/cmd.c	(revision 62939f75c170f1f9bc18ec3a7157792a32b0e11c)
@@ -64,4 +64,5 @@
 #include <proc/task.h>
 #include <ipc/ipc.h>
+#include <ipc/irq.h>
 
 /* Data and methods for 'help' command. */
@@ -802,4 +803,5 @@
 	printf("Use userspace controls to redraw the screen.\n");
 	arch_release_console();
+	ipc_irq_send_msg(IPC_IRQ_KBDRESTART, 0, 0, 0);
 	return 1;
 }