71d70
< bool isMachineCheckFault() const {return true;}