[coreboot-gerrit] New patch to review for coreboot: 0aae28a7 bootstate: don't use header in romstage code