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