Index: uspace/srv/console/console.c
===================================================================
--- uspace/srv/console/console.c	(revision 67ebf2120856a1d0365559c5183453ee6f898495)
+++ uspace/srv/console/console.c	(revision 44814b87de16b7d7e84bb8c660aa2b5c5269fbac)
@@ -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);