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