[coreboot] r3720 build service