[coreboot] r3732 build service