Use more compact sequence for re-enabling interrupts