Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 0cb9fa0b1256166b7043ccb33e483aaac3beeaba)
+++ kernel/arch/ia32/src/ia32.c	(revision 00eace30da787ce4c1daedfb63575ce441cf65d9)
@@ -167,5 +167,4 @@
 #endif
 	
-	i8042_grab();
 }
 
@@ -175,5 +174,4 @@
 void arch_release_console(void)
 {
-	i8042_release();
 }