Re: [coreboot] [PATCH 2/4] pci1x2x: add PCI1510 device IDs