[coreboot-gerrit] Patch set updated for coreboot: 61ad0db nvidia/ck804: Enable AMD K10 dynamic ACPI _PSS objects