PLATFORMS.md: Add Linux/S390x