tcl/target: Add Exynos5250 config