PS2 driver actually works now; needs to use IRQs instead
IRQ-driven PS2 driver