[coreboot] Patch merged into coreboot/master: 9297200 Allow device ID arrays in the PCI driver structure