--- drivers/char/pc_keyb.c	Fri Nov  9 15:01:21 2001
+++ ts-pc_keyb.c	Tue Jun 25 14:15:28 2002
@@ -486,3 +486,3 @@
 	unsigned char status = kbd_read_status();
-	unsigned int work = 10000;
+	unsigned int work = 100;
 
@@ -509,4 +509,7 @@
 		
+#ifdef DEBUG 
 	if (!work)
-		printk(KERN_ERR "pc_keyb: controller jammed (0x%02X).\n", status);
+		printk(KERN_ERR "pc_keyb: controller jammed (0x%02X).\n", status); 
+#endif 
+