MIPS: Calculate proper ebase value for 64-bit kernels