- Fix bug with > 4GB of memory where PAE was left enabled.
  Why didn't this show up until I had > 4GB on one cpu?


git-svn-id: svn://svn.coreboot.org/coreboot/trunk@1688 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
diff --git a/src/cpu/x86/pae/pgtbl.c b/src/cpu/x86/pae/pgtbl.c
index 756cc53..8297281 100644
--- a/src/cpu/x86/pae/pgtbl.c
+++ b/src/cpu/x86/pae/pgtbl.c
@@ -13,6 +13,7 @@
 		/* Disable pae */
 		"movl	%%cr4, %%eax\n\t"
 		"andl	$0xFFFFFFDF, %%eax\n\t"
+		"movl	%%eax, %%cr4\n\t"
 		:
 		:
 		: "eax"