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