MIPS: fix kexec build on 64-bits targets