--- drivers/char/keyboard.c.orig	Mon Oct  6 03:39:48 1997
+++ drivers/char/keyboard.c	Mon Oct  6 03:40:45 1997
@@ -1179,8 +1179,8 @@
 
 	if (leds != ledstate) {
 		ledstate = leds;
-		if (!send_data(0xed) || !send_data(leds))
-			send_data(0xf4);	/* re-enable kbd if any errors */
+		/* if (!send_data(0xed) || !send_data(leds)) */
+			/* send_data(0xf4); */	/* re-enable kbd if any errors */
 	}
 }