hw/input/ps2: Use ps2_raise_irq() instead of open coding it