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