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