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