[coreboot] r3122 build service