--- drivers/char/keyboard.c.orig	2004-02-15 21:30:32.000000000 +0900
+++ drivers/char/keyboard.c	2004-02-15 21:33:29.000000000 +0900
@@ -1144,6 +1144,14 @@
 		return;
 	}
 #endif
+#ifdef CONFIG_BOOTSPLASH
+	/* This code has to be redone for some non-x86 platforms */
+	if (down == 1 && (keycode == 0x3c || keycode == 0x01)) {	/* F2 and ESC on PC keyboard */
+		extern int splash_verbose(void);
+		if (splash_verbose())
+			return;
+	}
+#endif
 #ifdef CONFIG_MAGIC_SYSRQ	       /* Handle the SysRq Hack */
 	if (keycode == KEY_SYSRQ && (sysrq_down || (down == 1 && sysrq_alt))) {
 		sysrq_down = down;