The changes in #335 disabled IRQ nesting, since the previous code caused MemManage faults due to occasionally misplacing the IRQ stack pointer. The implementation needs to be rethought.