MIPS64 TF: Initial set-up.