Ticket #2654: keyboard.cpp.diff

src/system/boot/platform/bios_ia32/keyboard.cpp

@@ -43 +43 @@
 extern "C" union key
 wait_for_key(void)
 {
-    bios_regs regs;
-    regs.eax = 0;
-    call_bios(0x16, &regs);
-
     union key key;
-    key.ax = regs.eax & 0xffff;
 
+    do {
+        key.ax = check_for_key();
+    } while(key.ax == 0);
+
     return key;
 }