[coreboot] r3267 build service