MIPS64: some very minor todo cleanups.