[coreboot-gerrit] Patch set updated for coreboot: c45d67d sandybridge: dedup romstage.c main()