This solves a problem whereby the generic interrupt code repeatedly
called an interrupt handler, even though the interrupt handler had
called disable_irq().