Few late patches to enable arch timer for omap5
using device tree.
Merge branch 'devel-dt-arch-timer' into devel-dt