Index: /trunk/src/VBox/VMM/VMMR3/PGMPool.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGMPool.cpp	(revision 39754)
+++ /trunk/src/VBox/VMM/VMMR3/PGMPool.cpp	(revision 39755)
@@ -492,5 +492,5 @@
         }
         pPage->Core.Key  = MMPage2Phys(pVM, pPage->pvPageR3);
-        AssertFatal(pPage->Core.Key < _4G);
+        AssertFatal(pPage->Core.Key < _4G || fCanUseHighMemory);
         pPage->GCPhys    = NIL_RTGCPHYS;
         pPage->enmKind   = PGMPOOLKIND_FREE;