Index: arch/ia64/src/ia64.c
===================================================================
--- arch/ia64/src/ia64.c	(revision c9d2235bfff48451acbb0bac7a1aec13b808f114)
+++ arch/ia64/src/ia64.c	(revision 586262f01b3e45da27b4107379ea770f76d8f776)
@@ -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;
 }