clocksource/drivers/arc_timer: Update some comments