source "drivers/mmc/Kconfig"
-source "drivers/infiniband/Kconfig"
+source "drivers/leds/Kconfig"
-source "drivers/sn/Kconfig"
+source "drivers/infiniband/Kconfig"
source "drivers/edac/Kconfig"
source "drivers/rtc/Kconfig"
+source "drivers/dma/Kconfig"
+
endmenu