[LinuxBIOS] r3038 build service