Index: /trunk/src/VBox/VMM/VMMR3/PGMPhys.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGMPhys.cpp	(revision 41394)
+++ /trunk/src/VBox/VMM/VMMR3/PGMPhys.cpp	(revision 41395)
@@ -3717,4 +3717,8 @@
 #endif
         /** @todo we're not handling this correctly for VT-x / AMD-V. See #2911 */
+#ifdef PGM_WITH_A20
+        pVCpu->pgm.s.fSyncFlags |= PGM_SYNC_CLEAR_PGM_POOL | PGM_SYNC_UPDATE_PAGE_BIT_VIRTUAL;
+        VMCPU_FF_SET(pVCpu, VMCPU_FF_PGM_SYNC_CR3);
+#endif
     }
 }