[coreboot] Patch set updated for coreboot: 6deec7b Fix to allow one vbios ROM to match multiple PCI device IDs