[coreboot-gerrit] Patch merged into coreboot/master: b3847e6 program loading: add prog_run() function