diff -uNr linux.orig/drivers/char/pc_keyb.c linux/drivers/char/pc_keyb.c
--- linux.orig/drivers/char/pc_keyb.c	Wed Jun  7 23:26:42 2000
+++ linux/drivers/char/pc_keyb.c	Thu Sep  7 14:06:09 2000
@@ -399,6 +399,7 @@
 		}
 		mouse_reply_expected = 0;
 	}
+#if 0
     else if(scancode == AUX_RECONNECT){
         queue->head = queue->tail = 0;  /* Flush input queue */
         /*
@@ -412,6 +413,7 @@
         aux_write_ack(AUX_ENABLE_DEV);  /* ping the mouse :) */
         return;
     }
+#endif
 
 	add_mouse_randomness(scancode);
 	if (aux_count) {