[coreboot-gerrit] Patch merged into coreboot/master: pci_ids.h: Correct recent AMD ID names