IRQ: More debug messages