[LinuxBIOS] "Trivial" patches