Only show CONFIG_PS2_KEYBOARD_SPINUP when CONFIG_COREBOOT.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
1 file changed
tree: a4f954e9b67c6074c6f5af86c043a86e6b89a5c9
  1. src/
  2. tools/
  3. vgasrc/
  4. .gitignore
  5. COPYING
  6. COPYING.LESSER
  7. Makefile
  8. README
  9. TODO