Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 17af882f644f6d312e05f3965cef1fececb99062)
+++ kernel/generic/include/console/console.h	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -76,5 +76,5 @@
 extern void release_console(void);
 
-extern sysarg_t sys_debug_activate_console(void);
+extern sysarg_t sys_debug_console(void);
 
 #endif /* KERN_CONSOLE_H_ */
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 17af882f644f6d312e05f3965cef1fececb99062)
+++ kernel/generic/src/console/console.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -224,5 +224,5 @@
 
 /** Activate kernel console override */
-sysarg_t sys_debug_activate_console(void)
+sysarg_t sys_debug_console(void)
 {
 #ifdef CONFIG_KCONSOLE
Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 17af882f644f6d312e05f3965cef1fececb99062)
+++ kernel/generic/src/syscall/syscall.c	(revision f6ab787eddabe2ded4f3ba4e6efa7457e948e5f2)
@@ -192,5 +192,5 @@
 	
 	/* Kernel console syscalls. */
-	(syshandler_t) sys_debug_activate_console,
+	(syshandler_t) sys_debug_console,
 	
 	(syshandler_t) sys_klog,