Faults in Linux Kernel 3.x : Interrupts turned off but not turned on again