[coreboot] r3117 build service