diff --git a/kernel/build/config-amd64 b/kernel/build/config-amd64
index 380c4cc01..96f72a3fb 100644
--- a/kernel/build/config-amd64
+++ b/kernel/build/config-amd64
@@ -4395,8 +4395,8 @@ CONFIG_INFINIBAND_VIRT_DMA=y
 # CONFIG_INFINIBAND_BNXT_RE is not set
 # CONFIG_INFINIBAND_CXGB4 is not set
 # CONFIG_INFINIBAND_IRDMA is not set
-# CONFIG_MLX4_INFINIBAND is not set
-# CONFIG_MLX5_INFINIBAND is not set
+CONFIG_MLX4_INFINIBAND=m
+CONFIG_MLX5_INFINIBAND=m
 # CONFIG_INFINIBAND_MTHCA is not set
 # CONFIG_INFINIBAND_OCRDMA is not set
 # CONFIG_INFINIBAND_QEDR is not set
diff --git a/kernel/build/config-arm64 b/kernel/build/config-arm64
index 05f280444..92431e21b 100644
--- a/kernel/build/config-arm64
+++ b/kernel/build/config-arm64
@@ -5706,8 +5706,8 @@ CONFIG_INFINIBAND_VIRT_DMA=y
 # CONFIG_INFINIBAND_CXGB4 is not set
 # CONFIG_INFINIBAND_HNS is not set
 # CONFIG_INFINIBAND_IRDMA is not set
-# CONFIG_MLX4_INFINIBAND is not set
-# CONFIG_MLX5_INFINIBAND is not set
+CONFIG_MLX4_INFINIBAND=m
+CONFIG_MLX5_INFINIBAND=m
 # CONFIG_INFINIBAND_MTHCA is not set
 # CONFIG_INFINIBAND_OCRDMA is not set
 # CONFIG_INFINIBAND_QEDR is not set