[PATCH] ARM: KVM: Fix kvm_set_pte assignment