diff --git a/config/config.cloud b/config/config.cloud
index ddc220c..51f3342 100644
--- a/config/config.cloud
+++ b/config/config.cloud
@@ -297,6 +297,7 @@ CONFIG_HYPERV=y
 ## 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
@@ -346,13 +347,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
 
@@ -558,6 +559,7 @@ CONFIG_HYPERV_KEYBOARD=m
 CONFIG_XEN_NETDEV_FRONTEND=m
 # CONFIG_FUJITSU_ES is not set
 
+CONFIG_NET_UDP_TUNNEL=y
 ##
 ## file: drivers/net/arcnet/Kconfig
 ##