Index: /trunk/include/VBox/cpum.h
===================================================================
--- /trunk/include/VBox/cpum.h	(revision 26652)
+++ /trunk/include/VBox/cpum.h	(revision 26653)
@@ -931,4 +931,5 @@
 VMMR3DECL(void)         CPUMR3ResetCpu(PVMCPU pVCpu);
 VMMDECL(bool)           CPUMR3IsStateRestorePending(PVM pVM);
+VMMR3DECL(void)         CPUMR3SetHWVirtEx(PVM pVM, bool fHWVirtExEnabled);
 # ifdef DEBUG
 VMMR3DECL(void)         CPUMR3SaveEntryCtx(PVM pVM);
Index: /trunk/src/VBox/VMM/CPUM.cpp
===================================================================
--- /trunk/src/VBox/VMM/CPUM.cpp	(revision 26652)
+++ /trunk/src/VBox/VMM/CPUM.cpp	(revision 26653)
@@ -819,4 +819,15 @@
 
     }
+}
+
+
+/**
+ * Apply late CPUM property changes based on the fHWVirtEx setting
+ *
+ * @param   pVM                 The VM to operate on.
+ * @param   fHWVirtExEnabled    HWVirtEx enabled/disabled
+ */
+VMMR3DECL(void) CPUMR3SetHWVirtEx(PVM pVM, bool fHWVirtExEnabled)
+{
     /*
      * Workaround for missing cpuid(0) patches when leaf 4 returns GuestCpuIdDef:
@@ -824,8 +835,7 @@
      * of processors from (cpuid(4).eax >> 26) + 1.
      */
-    if (!HWACCMR3IsAllowed(pVM))
+    if (!fHWVirtExEnabled)
         pVM->cpum.s.aGuestCpuIdStd[4].eax = 0;
 }
-
 
 /**
Index: /trunk/src/VBox/VMM/VM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VM.cpp	(revision 26652)
+++ /trunk/src/VBox/VMM/VM.cpp	(revision 26653)
@@ -1021,5 +1021,8 @@
     /** @todo Move this to the VMINITCOMPLETED_RING0 notification handler. */
     if (RT_SUCCESS(rc))
+    {
         rc = HWACCMR3InitFinalizeR0(pVM);
+        CPUMR3SetHWVirtEx(pVM, HWACCMIsEnabled(pVM));
+    }
 
     LogFlow(("vmR3InitRing0: returns %Rrc\n", rc));