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