[coreboot-gerrit] Patch merged into coreboot/master: ef33db0 cpu/amd/model_10xxx: Add missing ACPI _PSD object