- bug fix: fault_hard_set was not setting fault bit