source "init/Kconfig"
+source "kernel/Kconfig.freezer"
+
menu "System Type"
choice
select GENERIC_GPIO
select GENERIC_TIME
select GENERIC_CLOCKEVENTS
- select ZONE_DMA if PCI
+ select DMABOUNCE if PCI
help
Support for Intel's IXP4XX (XScale) family of processors.