PCI: Kconfig help: don't refer to the PCI-HOWTO
[linux-2.6.git] / arch / avr32 / boards /
drwxr-xr-x ..
drwxr-xr-x atngw100
drwxr-xr-x atstk1000