From: Martin Fuchs
1.) Fix the console bug in question, and put a new tested
release candidate on the web.
I've been trying to reproduce the bug on the hardware available to me (5
different PCs), but I can't (yes, I unplugged the PS/2 mouse).
If we can't fix it, maybe we should put the pre-i8042prt code back and use
that for now? Would that cause major other problems (e.g. PnP issues)?
Gé van Geldorp.