--- e0e6fad361302a3ee172ce418fc0846dfab87132
+++ c9ba9deafe83f30daaae9b0e998c3de715671d43
@@ -159,7 +159,8 @@ void pud_populate(struct mm_struct *mm,
 	 * section 8.1: in PAE mode we explicitly have to flush the
 	 * TLB via cr3 if the top-level pgd is changed...
 	 */
-	flush_tlb_mm(mm);
+	if (mm == current->active_mm)
+		write_cr3(read_cr3());
 }
 #else  /* !CONFIG_X86_PAE */