Document the meaning of the CPU_MIPS32, CPU_MIPS64, CPU_MIPSR1 and