[coreboot-gerrit] Patch merged into coreboot/master: c00457d romstage_handoff: add s3_resume field