Index: uspace/lib/c/generic/io/console.c
===================================================================
--- uspace/lib/c/generic/io/console.c	(revision ee2fa30aed4921e38c357a0420357b61329be533)
+++ uspace/lib/c/generic/io/console.c	(revision b511c2003b4475be254644e2e4cc4462936e14b7)
@@ -76,9 +76,5 @@
 bool console_kcon(void)
 {
-#if 0
 	return __SYSCALL0(SYS_DEBUG_ACTIVATE_CONSOLE);
-#endif
-	
-	return false;
 }
 
Index: uspace/lib/c/include/ipc/console.h
===================================================================
--- uspace/lib/c/include/ipc/console.h	(revision ee2fa30aed4921e38c357a0420357b61329be533)
+++ uspace/lib/c/include/ipc/console.h	(revision b511c2003b4475be254644e2e4cc4462936e14b7)
@@ -48,6 +48,5 @@
 	CONSOLE_SET_COLOR,
 	CONSOLE_SET_RGB_COLOR,
-	CONSOLE_CURSOR_VISIBILITY,
-	CONSOLE_KCON_ENABLE
+	CONSOLE_CURSOR_VISIBILITY
 } console_request_t;