[coreboot] New patch to review for coreboot: 9297200 Allow device ID arrays in the PCI driver structure