[coreboot] r3623 build service