Merge "Fix MIPS64 boot"