Exynos5: Config: Enable support for Exynos TMU driver