[coreboot] Patch set updated for coreboot: d59002f pci_ids: Add AMD F15h model 00-0f and F10h cpu HT device pci ids