MIPS: KVM: Use 64-bit CP0_EBase when appropriate