[ofa-general] ofed kernel config problem fix

[Ron Livne]

Hi Vlad,
I pulled today the latest ofed git.
When I tried to run "make oldconfig" I got the following message:

scripts/kconfig/conf -o arch/x86/Kconfig
file drivers/infiniband/hw/nes/Kconfig already scanned?
make[1]: *** [oldconfig] Error 1
make: *** [oldconfig] Error 2


It seems there was a duplicate line in drivers/infiniband/Kconfig.
Here's how I fixed it:

diff --git a/drivers/infiniband/Kconfig b/drivers/infiniband/Kconfig
index 066ccd4..d7be463 100644
--- a/drivers/infiniband/Kconfig
+++ b/drivers/infiniband/Kconfig
@@ -46,7 +46,6 @@ source "drivers/infiniband/hw/amso1100/Kconfig"
 source "drivers/infiniband/hw/cxgb3/Kconfig"
 source "drivers/infiniband/hw/nes/Kconfig"
 source "drivers/infiniband/hw/mlx4/Kconfig"
-source "drivers/infiniband/hw/nes/Kconfig"

 source "drivers/infiniband/ulp/ipoib/Kconfig"