[coreboot-gerrit] Patch set updated for coreboot: 4c71207 ACPI: Fix corrupt SSDT table on multiprocessor AMD Family 10h systems