[PATCH] Call init_timer() for ISDN PPP CCP reset state timer
[pandora-kernel.git] / drivers / Kconfig
index 4929e92..e7da9fa 100644 (file)
@@ -80,4 +80,6 @@ source "drivers/rtc/Kconfig"
 
 source "drivers/dma/Kconfig"
 
+source "drivers/kvm/Kconfig"
+
 endmenu