[LinuxBIOS] r2857 build service