Merge branch 'v3.10/topic/mm-timer' into linux-linaro-lsk-v3.10

* v3.10/topic/mm-timer:
  ARM: exynos: dts: Update 5250 arch timer node with clock frequency