[LinuxBIOS] K8 machine check exception