Faults in Linux Kernel 3.x : Locking but not unlocking