[LinuxBIOS] LinuxBIOS r2375 build changes