PLATFORMS.md: Add Nintendo Switch