[coreboot-gerrit] Patch merged into coreboot/master: 5c715ac bootstate: don't use header in romstage code