Re: [PATCH v4 3/4] EXYNOS: Add SMDK5250 board support