[LinuxBIOS] patches