Software-implemented Fault Injection in Operating System Kernel Mutex Data Structure