[coreboot] r3619 build service