tmp: splitted out US0's IRQ handler