Signed-off-by: Andrew Morton <akpm@osdl.org>
Index: linux-2.6.17-rc4/drivers/char/keyboard.c
===================================================================
--- linux-2.6.17-rc4.orig/drivers/char/keyboard.c	2006-06-09 17:16:07.000000000 +0100
+++ linux-2.6.17-rc4/drivers/char/keyboard.c	2006-06-09 17:17:05.000000000 +0100
@@ -1167,6 +1167,7 @@ static void kbd_keycode(unsigned int key
 	}
 	if (sysrq_down && down && !rep) {
 		handle_sysrq(kbd_sysrq_xlate[keycode], regs, tty);
+		sysrq_down = 0;		/* In case we miss the 'up' event. */
 		return;
 	}
 #endif