It wouldn't really matter anyways since the Chinese have been making MIPS64 chips for more than a decade.

The current high end chip in China is actually new arch based on the DEC Alpha.