[coreboot] r3723 build service