Index: /trunk/src/VBox/VMM/VMMR3/CPUMR3CpuId.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/CPUMR3CpuId.cpp	(revision 54942)
+++ /trunk/src/VBox/VMM/VMMR3/CPUMR3CpuId.cpp	(revision 54943)
@@ -2433,5 +2433,4 @@
     }
 #endif
-    pStdFeatureLeaf = NULL; /* Must refetch! */
 
     /* Force standard feature bits. */
@@ -2455,4 +2454,5 @@
         pStdFeatureLeaf->uEcx |= X86_CPUID_FEATURE_ECX_RDRAND;
 
+    pStdFeatureLeaf = NULL; /* Must refetch! */
 
     /* Cpuid 0x80000001: (Similar, but in no way identical to 0x00000001.)