PLATFORMS.md: Specify ABI for MIPS.