[coreboot] Patch merged into coreboot/master: 38173d0 Don't re-init EBDA in S3 resume path.