ARM: KVM: Fix kvm_set_pte assignment