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