[coreboot] r3086 build service