diff --git a/nix/configurations/vanadium/kernel-overlay.nix b/nix/configurations/vanadium/kernel-overlay.nix
index 7702acad..59b9a0f6 100644
--- a/nix/configurations/vanadium/kernel-overlay.nix
+++ b/nix/configurations/vanadium/kernel-overlay.nix
@@ -51,6 +51,7 @@ in {
 
         # My config
         DRM_AMDGPU = yes; # Recent AMD GPU
+        HYPERVISOR_GUEST = lib.mkForce no;
       };
     }
   );