uml: fix spurious IRQ testing