Don't initialize keyboard hardware on coreboot - coreboot already does it.

diff --git a/src/kbd.c b/src/kbd.c
index 3770305b213897a7840f374a7929294922468737..6786698ae0fdaaf015ca40dc6e06441b938b4a0d 100644 (file)
--- a/src/kbd.c
+++ b/src/kbd.c
@@ -48,6 +48,10 @@ kbd_waitdata(u8 code)
 static void
 keyboard_init()
 {
+    if (CONFIG_COREBOOT)
+        // Coreboot already does low-level keyboard init.
+        return;
+
     /* ------------------- Flush buffers ------------------------*/
     /* Wait until buffer is empty */
     kbd_flush(0xff);