[LinuxBIOS] LinuxBIOS r2351 build changes