[ARM] Exynos4: Fix Exynos clock rate for MCT timer.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>