Add a debug message to keyboard init. This helped isolate at least one

case of keyboard failure (the keyboard initialization was never hit).

Signed-off-by: Carl-Daniel Hailfinger <c-d.hailfinger.devel.2006@gmx.net>
Acked-by: Stefan Reinauer <stepan@coresystems.de>



git-svn-id: svn://svn.coreboot.org/coreboot/trunk@2869 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

src/pc80/keyboard.c

@@ -27,6 +27,7 @@ static void pc_keyboard_init(struct pc_keyboard *keyboard)
 {
 	unsigned char regval;
 
+	printk_debug("Keyboard init...\n");
 	/* send cmd = 0xAA, self test 8042 */
 	outb(0xaa, 0x64);