Index: /trunk/src/VBox/VMM/CPUM.cpp
===================================================================
--- /trunk/src/VBox/VMM/CPUM.cpp	(revision 26653)
+++ /trunk/src/VBox/VMM/CPUM.cpp	(revision 26654)
@@ -834,7 +834,13 @@
      * If we miss to patch a cpuid(0).eax then Linux tries to determine the number
      * of processors from (cpuid(4).eax >> 26) + 1.
+     *
+     * Note: this code is obsolete, but let's keep it here for reference.
+     *       Purpose is valid when we artifically cap the max std id to less than 4.
      */
     if (!fHWVirtExEnabled)
+    {
+        Assert(pVM->cpum.s.aGuestCpuIdStd[4].eax == 0);
         pVM->cpum.s.aGuestCpuIdStd[4].eax = 0;
+    }
 }