[LinuxBIOS] #42: Disable SMM on K8 platforms