PLATFORMS.md: Update Linux