[PATCH 3/6] drm/exynos: rename s/HDMI_OVERLAY_NUMBER/MIXER_WIN_NR