Input: i8042 - use synchronize_irq() instead of synchronize_sched()