[coreboot-gerrit] Patch set updated for coreboot: 9975ccd program loading: add prog_run() function