KVM: MMU: Use ptep_user for cmpxchg_gpte()