IRQ routine successfully detects Mini-UART interrupts