PLATFORMS.md: Add Linux/PPC.