[coreboot] build service results for r6223