pci1x2x: add PCI1510 device IDs
[coreboot.git] / documentation / RFC /
drwxr-xr-x   ..
-rw-r--r-- 10517 chip.tex
-rw-r--r-- 8269 config.tex