[coreboot-gerrit] Patch set updated for coreboot: 2b9e91b cpu/amd/model_10xxx: Add missing ACPI _PSD object