Re: [PATCH v3 1/3] drm/exynos: Get HDMI version from device tree