Don't initialize keyboard hardware on coreboot - coreboot already does it.
diff --git a/src/kbd.c b/src/kbd.c
index 3770305..6786698 100644
--- a/src/kbd.c
+++ b/src/kbd.c
@@ -48,6 +48,10 @@
 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);