It seems that the interrupt bit for the Mini-UART works