Re: [PATCH] drm/exynos: restore core HDMI settings