[coreboot] build service results for r6445