Index: arch/ia64/src/ia64.c
===================================================================
--- arch/ia64/src/ia64.c	(revision 722409391b4224fdf8543cea29d6131ebb5a6181)
+++ arch/ia64/src/ia64.c	(revision 7669bcf004fbab71b35a1a9ec2b476fb2c698b7a)
@@ -44,4 +44,6 @@
 #include <proc/uarg.h>
 #include <syscall/syscall.h>
+
+static int kbd_release=0;
 
 void arch_pre_main(void)
@@ -130,4 +132,6 @@
 void arch_grab_console(void)
 {
+    kbd_release=kbd_uspace;
+    kbd_uspace=0;
 }
 /** Return console to userspace
@@ -136,3 +140,4 @@
 void arch_release_console(void)
 {
+    kbd_uspace=kbd_release;
 }