Merge "Fix MIPS64 booting problem"