*** ../linux-2.6.24.5/init/main.c    2008-04-19 07:23:39.000000000 +0530
--- ./init/main.c    2008-07-24 19:42:19.000000000 +0530
***************
*** 68,73 ****
--- 68,75 ----
 #include <asm/smp.h>
 #endif
 
+ #define BIOSKEYBOARDBUFFERPOINTERS 0x041A
+  /*
  * This is one of the first .c files built. Error out early if we have compiler
  * trouble.
*************** asmlinkage void __init start_kernel(void
*** 644,649 ****
--- 646,659 ----
 
     acpi_early_init(); /* before LAPIC and SMP init */
 
+ + #ifdef CONFIG_X86
+         /*
+     * Clean the BIOS keyboard buffer and pointers in the BIOS Data area.
+         */
+         memset(BIOSKEYBOARDBUFFERPOINTERS + PAGE_OFFSET, 0, 36);
+ #endif
+      /* Do the rest non-__init'ed, we're now alive */
     rest_init();
 }