[coreboot-gerrit] Patch set updated for coreboot: pci_ids.h: Correct recent AMD ID names