TMR technique for mutex kernel data structures