Index: /trunk/src/VBox/Devices/PC/BIOS/keyboard.c
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/keyboard.c	(revision 74664)
+++ /trunk/src/VBox/Devices/PC/BIOS/keyboard.c	(revision 74665)
@@ -341,10 +341,10 @@
     uint16_t    buffer_start, buffer_end, buffer_head, buffer_tail, temp_tail;
 
-#if BX_CPU < 2
+#if VBOX_BIOS_CPU >= 80286
+    buffer_start = read_word(0x0040, 0x0080);
+    buffer_end   = read_word(0x0040, 0x0082);
+#else
     buffer_start = 0x001E;
     buffer_end   = 0x003E;
-#else
-    buffer_start = read_word(0x0040, 0x0080);
-    buffer_end   = read_word(0x0040, 0x0082);
 #endif
 
@@ -617,10 +617,10 @@
     uint8_t     acode, scode;
 
-#if BX_CPU < 2
+#if VBOX_BIOS_CPU >= 80286
+    buffer_start = read_word(0x0040, 0x0080);
+    buffer_end   = read_word(0x0040, 0x0082);
+#else
     buffer_start = 0x001E;
     buffer_end   = 0x003E;
-#else
-    buffer_start = read_word(0x0040, 0x0080);
-    buffer_end   = read_word(0x0040, 0x0082);
 #endif