RE: [PATCH v1 2/2] drm: exynos: moved exynos drm hdmi device registration to drm driver