[coreboot] r3724 build service