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