[coreboot] Patch merged into coreboot/master: d59002f pci_ids: Add AMD F15h model 00-0f and F10h cpu HT device pci ids