diff --git a/config/config.cloud b/config/config.cloud
index 73fffff..3652431 100644
--- a/config/config.cloud
+++ b/config/config.cloud
@@ -296,6 +296,7 @@ CONFIG_HYPERV=m
 ## file: drivers/infiniband/Kconfig
 ##
 CONFIG_INFINIBAND=m
+CONFIG_INFINIBAND_VIRT_DMA=y
 CONFIG_INFINIBAND_USER_MAD=m
 CONFIG_INFINIBAND_USER_ACCESS=m
 CONFIG_INFINIBAND_ON_DEMAND_PAGING=y
@@ -351,13 +352,13 @@ CONFIG_MLX5_INFINIBAND=m
 ##
 ## file: drivers/infiniband/sw/rxe/Kconfig
 ##
-# CONFIG_RDMA_RXE is not set
+CONFIG_RDMA_RXE=m
 
 ##
 ## file: drivers/infiniband/ulp/ipoib/Kconfig
 ##
-# CONFIG_INFINIBAND_IPOIB is not set
-# CONFIG_INFINIBAND_IPOIB_CM is not set
+CONFIG_INFINIBAND_IPOIB=m
+CONFIG_INFINIBAND_IPOIB_CM=y
 # CONFIG_INFINIBAND_IPOIB_DEBUG is not set
 # CONFIG_INFINIBAND_IPOIB_DEBUG_DATA is not set
 
@@ -563,7 +564,7 @@ CONFIG_HYPERV_KEYBOARD=m
 # CONFIG_NET_SB1000 is not set
 CONFIG_XEN_NETDEV_FRONTEND=m
 # CONFIG_FUJITSU_ES is not set
-
+CONFIG_NET_UDP_TUNNEL=y
 ##
 ## file: drivers/net/appletalk/Kconfig
 ##