Index: ntoskrnl/mm/i386/page.c
===================================================================
--- ntoskrnl/mm/i386/page.c	(revision 54755)
+++ ntoskrnl/mm/i386/page.c	(working copy)
@@ -469,6 +469,8 @@
         Pfn = 0;
         MmUnmapPageTable(Pt);
     }
+    
+    KeFlushProcessTb();
 
     if (FreePage && WasValid)
     {