diff --git a/config/kernel/linux-uefi-arm64-edge.config b/config/kernel/linux-uefi-arm64-edge.config
index f9939eea14..6a0332c1a2 100644
--- a/config/kernel/linux-uefi-arm64-edge.config
+++ b/config/kernel/linux-uefi-arm64-edge.config
@@ -4980,7 +4980,7 @@ CONFIG_VHOST_NET=m
 CONFIG_VHOST_SCSI=m
 CONFIG_VHOST_VSOCK=m
 CONFIG_VHOST_VDPA=m
-CONFIG_HYPERV=m
+CONFIG_HYPERV=y
 CONFIG_HYPERV_UTILS=m
 CONFIG_HYPERV_BALLOON=m
 CONFIG_XEN_DEV_EVTCHN=m
diff --git a/config/kernel/linux-uefi-x86-edge.config b/config/kernel/linux-uefi-x86-edge.config
index 4019b4a87d..e2b4607494 100644
--- a/config/kernel/linux-uefi-x86-edge.config
+++ b/config/kernel/linux-uefi-x86-edge.config
@@ -4763,7 +4763,7 @@ CONFIG_VHOST_NET=m
 CONFIG_VHOST_SCSI=m
 CONFIG_VHOST_VSOCK=m
 CONFIG_VHOST_VDPA=m
-CONFIG_HYPERV=m
+CONFIG_HYPERV=y
 CONFIG_HYPERV_UTILS=m
 CONFIG_HYPERV_BALLOON=m
 CONFIG_XEN_DEV_EVTCHN=m