Update PLATFORMS.md.