[coreboot] r3624 build service