Re: [RESEND] drm/exynos: Remove support for Exynos4415 (SoC not supported anymore)