[coreboot] r3112 build service