      bool 'Enable PCI trace buffer              ' CONFIG_PCI_TRACE
      if [ "$CONFIG_PCI_TRACE" = "y" ]; then
        choice 'PCI trace buffer depth' \
	  "256		CONFIG_PCI_TRACE256     \
	  512		CONFIG_PCI_TRACE512      \
	  1024		CONFIG_PCI_TRACE1024     \
	  2048		CONFIG_PCI_TRACE2048     \
	  4096 		CONFIG_PCI_TRACE4096" 256
      fi
#    bool 'PCI reset affects complete processor' CONFIG_PCI_RESETALL

