Faults in Linux Kernel 3.x : Disable interrupts and not re-enable them