[coreboot] Patch merged into coreboot/master: 5ccfb7f S3 code in the mainboard.