Merge branch 'for-rmk/arch-timer-cleanups' of git://linux-arm.org/linux-mr into devel...