This reverts commit 467f6c74a4.
467f6c74a4
Otherwise we might not drain the mouse buffer until the next IRQ.
Rework the PS/2 keyboard and mouse drivers to use a common 8042 controller driver. Also, reset and reconfigure the 8042 controller as they are not guaranteed to be in the state that we expect.