IRQ: Use the new typedef for interrupt handler function pointers