[PATCH 1/4] ARM: KVM: Fix 64-bit coprocessor handling