PLATFORMS.md: Add Linux/MIPS32.