diff --git a/nix/configurations/vanadium.nix b/nix/configurations/vanadium.nix
index 5be9bac1..208e712e 100644
--- a/nix/configurations/vanadium.nix
+++ b/nix/configurations/vanadium.nix
@@ -61,7 +61,6 @@ in
               ../packages/overlay.nix
 
               ./vanadium/overlay.nix
-              ./vanadium/kernel-overlay.nix
 
               # removed, but I need it for PLFA!
               ../overlays/pin-emacs28.nix
diff --git a/nix/configurations/vanadium/kernel-overlay.nix b/nix/configurations/vanadium/kernel-overlay.nix
index c6615c22..1af875e2 100644
--- a/nix/configurations/vanadium/kernel-overlay.nix
+++ b/nix/configurations/vanadium/kernel-overlay.nix
@@ -69,7 +69,6 @@ in {
 
         # Disable hypervisor guest
         HYPERVISOR_GUEST = lib.mkForce no;
-        HYPERV = lib.mkForce unset;
         DRM_HYPERV = lib.mkForce unset;
         FB_HYPERV = lib.mkForce unset;
         HVC_XEN = lib.mkForce unset;