Re: [PATCH 3/7] ARM: exynos_defconfig: enable Exynos DRM Mixer driver