[PATCHv2 0/4] drm: exynos: update/fixes to HDMI driver