--- zzzz-none-000/linux-2.6.32.60/drivers/Kconfig	2012-10-07 21:41:24.000000000 +0000
+++ ur8-7270-606/linux-2.6.32.60/drivers/Kconfig	2014-06-11 10:53:28.000000000 +0000
@@ -94,6 +94,8 @@
 
 source "drivers/infiniband/Kconfig"
 
+source "drivers/Kconfig.ifx"
+
 source "drivers/edac/Kconfig"
 
 source "drivers/rtc/Kconfig"
@@ -113,4 +115,6 @@
 source "drivers/staging/Kconfig"
 
 source "drivers/platform/Kconfig"
+
+
 endmenu