[coreboot] r3435 build service