[coreboot-gerrit] Patch set updated for coreboot: c0d7d29 coreboot: infrastructure for different ramstage loaders