Index: /trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp	(revision 15988)
+++ /trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp	(revision 15989)
@@ -543,5 +543,5 @@
             {
                 /* Restore previous value. */
-                ASMWrMsr(MSR_K6_EFER, val);
+                ASMWrMsr(MSR_K6_EFER, val & ~MSR_K6_EFER_SVME);
                 paRc[idCpu] = VINF_SUCCESS;
             }