PLATFORMS.md: Add ARM64 to Linux