Fix Exynos5410 kernel repo name