Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 81df0ce1a52271cd6aa1c12bf28a8cbc62bb4f61)
+++ kernel/generic/src/syscall/syscall.c	(revision 0867321c69ae9c3f09757e7ced1c100a578f28e3)
@@ -93,9 +93,16 @@
 {
 #ifdef CONFIG_KCONSOLE
-	arch_grab_console();
+	grab_console();
 	return true;
 #else
 	return false;
 #endif
+}
+
+/** Tell kernel to relinquish keyboard/console access */
+static unative_t sys_debug_disable_console(void)
+{
+	release_console();
+	return true;
 }
 
@@ -185,5 +192,6 @@
 	/* Debug calls */
 	(syshandler_t) sys_debug_enable_console,
-
+	(syshandler_t) sys_debug_disable_console,
+	
 	(syshandler_t) sys_ipc_connect_kbox
 };