[coreboot] Patch merged into coreboot/master: 19f7cf6 Do not produce temp s3.rom if the board doesn't need it.