Index: genarch/src/i8042/i8042.c
===================================================================
--- genarch/src/i8042/i8042.c	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
+++ genarch/src/i8042/i8042.c	(revision 9e1b58185e9888ec04afc4159e8d259439f55462)
@@ -282,4 +282,8 @@
 	chardev_initialize("i8042_kbd", &kbrd, &ops);
 	stdin = &kbrd;
+	{
+		int a=0;
+		while(a<20) {i8042_data_read();a++;}  /*Clear input buffer*/
+	}
 }