Index: svm.c
===================================================================
--- svm.c	(revision 4418)
+++ svm.c	(working copy)
@@ -555,7 +555,7 @@
 	 * cache by default. the orderly way is to enable cache in bios.
 	 */
 	save->cr0 = 0x00000010 | CR0_PG_MASK | CR0_WP_MASK;
-	save->cr4 = CR4_PAE_MASK;
+	save->cr4 = CR4_PAE_MASK | 0x200;
 	/* rdx = ?? */
 }
 
@@ -741,7 +741,7 @@
 static void svm_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4)
 {
        vcpu->cr4 = cr4;
-       vcpu->svm->vmcb->save.cr4 = cr4 | CR4_PAE_MASK;
+       vcpu->svm->vmcb->save.cr4 = cr4 | CR4_PAE_MASK | 0x200;
 }
 
 static void svm_set_segment(struct kvm_vcpu *vcpu,