[PATCH 1/4] ARM: KVM: Fix kvm_set_pte assignment