--- zzzz-none-000/linux-2.6.32.61/arch/x86/kvm/x86.c	2013-06-10 09:43:48.000000000 +0000
+++ ar10-7272-687/linux-2.6.32.61/arch/x86/kvm/x86.c	2013-02-11 15:10:47.000000000 +0000
@@ -925,12 +925,6 @@
 		/* ...but clean it before doing the actual write */
 		vcpu->arch.time_offset = data & ~(PAGE_MASK | 1);
 
-		/* Check that address+len does not cross page boundary */
-		if ((vcpu->arch.time_offset +
-			sizeof(struct pvclock_vcpu_time_info) - 1)
-			& PAGE_MASK)
-			break;
-
 		vcpu->arch.time_page =
 				gfn_to_page(vcpu->kvm, data >> PAGE_SHIFT);
 
@@ -4719,9 +4713,6 @@
 	int pending_vec, max_bits;
 	struct descriptor_table dt;
 
-	if (sregs->cr4 & X86_CR4_OSXSAVE)
-		return -EINVAL;
-
 	vcpu_load(vcpu);
 
 	dt.limit = sregs->idt.limit;