update documentation files for mips64 port