Sonypi: use synchronize_irq instead of sycnronize_sched