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