[coreboot] r3731 build service