[coreboot] r3128 build service