Re: [RFC 00/12] Add DRM Exynos HDMI on SoCs from Exynos4 family