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