diff --git a/nix/configurations/vanadium.nix b/nix/configurations/vanadium.nix
index 208e712e..5be9bac1 100644
--- a/nix/configurations/vanadium.nix
+++ b/nix/configurations/vanadium.nix
@@ -61,6 +61,7 @@ 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 1af875e2..c6615c22 100644
--- a/nix/configurations/vanadium/kernel-overlay.nix
+++ b/nix/configurations/vanadium/kernel-overlay.nix
@@ -69,6 +69,7 @@ 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;