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