[coreboot] build service results for r5831