[coreboot] r3143 build service