Add a DRIVERS_PS2_KEYBOARD option which controls the PS2 keyboard
initialization.  Not all payloads require it and some keyboards take a
long time to init.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
Acked-by: Patrick Georgi <patrick.georgi@coresystems.de>


git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5790 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
diff --git a/src/pc80/keyboard.c b/src/pc80/keyboard.c
index dee6279..9dadf0e 100644
--- a/src/pc80/keyboard.c
+++ b/src/pc80/keyboard.c
@@ -162,6 +162,8 @@
 void pc_keyboard_init(struct pc_keyboard *keyboard)
 {
 	u8 regval;
+	if (!CONFIG_DRIVERS_PS2_KEYBOARD)
+		return;
 	printk(BIOS_DEBUG, "Keyboard init...\n");
 
 	/* Run a keyboard controller self-test */