Notch returns -2 when waiting for IRQ to be serviced