[LinuxBIOS] AMD K8 micropatch support