ARM: SoC: Add arch timer to exynos5250

Add the arch timer node in the DT and initialize and register the arch
timers in the main exynos timer code.

Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>

Conflicts:
	arch/arm/boot/dts/exynos5250-arndale.dts