ARM: Improve documentation in arm_timer.h