[LinuxBIOS] r3031 build service