Can you please add some documentation here about which irqs are/aren't disabled. `cpsid i` doesn't disable Reset, HardFault or NMI. `cpsid f` doesn't disable NMI.