[coreboot] r3116 build service