[coreboot] Patch merged into coreboot/master: bb71c91 AMD S3: Rename generated s3.rom for make clean