Index: uspace/srv/console/console.c
===================================================================
--- uspace/srv/console/console.c	(revision 67ebf2120856a1d0365559c5183453ee6f898495)
+++ uspace/srv/console/console.c	(revision 37be841152ff62e155d0f676e9aaacf6ca64d1af)
@@ -437,5 +437,5 @@
 
 			if ((ev.key >= KC_F1) && (ev.key < KC_F1 +
-			    CONSOLE_COUNT)) {
+			    CONSOLE_COUNT) && ((ev.mods & KM_CTRL) == 0)) {
 				if (ev.key == KC_F12)
 					change_console(KERNEL_CONSOLE);