[coreboot] r3088 build service