[coreboot-gerrit] Patch set updated for coreboot: 9b740df romstages: use common run_ramstage()