Fully IRQ-driven PS2 driver: does not work on real hardware yet