PLATFORMS.md: Add AmigaOS