Index: /trunk/src/VBox/VMM/VMMAll/CPUMAllRegs.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/CPUMAllRegs.cpp	(revision 26672)
+++ /trunk/src/VBox/VMM/VMMAll/CPUMAllRegs.cpp	(revision 26673)
@@ -1122,5 +1122,5 @@
                 level = 2;
                 type = 3;
-                sharing = cores; /* our L2 cache is modelled as shared between all cores */ 
+                sharing = cores; /* our L2 cache is modelled as shared between all cores */
                 linesize = 64;
                 associativity = 24;
@@ -1721,8 +1721,5 @@
 {
     /* PAE or AMD64 implies support for big pages regardless of CR4.PSE */
-    if (pVCpu->cpum.s.Guest.cr4 & X86_CR4_PAE)
-        return true;
-
-    return !!(pVCpu->cpum.s.Guest.cr4 & X86_CR4_PSE);
+    return !!(pVCpu->cpum.s.Guest.cr4 & (X86_CR4_PSE | X86_CR4_PAE));
 }