[coreboot] build service results for r4124