[LinuxBIOS] AMD K8 kernel oopses