soft interrupts, rather than after, so that soft interrupts scheduled by other soft interrupts don't get lost.