[PATCH 0/4] ARM: S5P: Replace exynos4 kernel timer with s5p_timer

[Sangbeom Kim]

Exynos4 arch used exynos4_timer as kernel timer.
But In the plat-s5p, we already have a common s5p_timer for hrt.
In this patch, I replace exynos4_timer with common s5p_timer.
This patch is tested on SMDKV310 and SMDKC210.

[PATCH 1/4] ARM: S5P: Change s5p_timer for local timer support
[PATCH 2/4] ARM: EXYNOS4: Update Kconfig and Makefile for s5p_timer
[PATCH 3/4] ARM: EXYNOS4: Change each platform kernel timer using s5p_timer
[PATCH 4/4] ARM: EXYNOS4: Delete exynos4 kernel timer