Re: [PATCH] ARM: multi_v7_defconfig: enable Exynos DRM Mixer driver