[coreboot] r3718 build service