IRQ interrupt is now finally reset correctly