PLATFORMS.md: Add Nintendo 3DS