[coreboot-gerrit] Patch set updated for coreboot: binaryPI platforms: Drop any ACPI S3 support