Only show CONFIG_PS2_KEYBOARD_SPINUP when CONFIG_COREBOOT.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>

diff --git a/src/Kconfig b/src/Kconfig
index 2195badb35541d619ae9cd8f7d2d5785015ca5d2..15485ac257170d65b71381dcd4dd0ecbbd45dadb 100644 (file)
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -126,7 +126,7 @@ menu "Hardware support"
         help
             Support PS2 ports (keyboard and mouse).
     config PS2_KEYBOARD_SPINUP
-        depends on PS2PORT
+        depends on PS2PORT && COREBOOT
         int "Extra time (in ms) to allow a keyboard to initialize"
         default 0
         help