[PATCH 12/25] clocksource/drivers/arc_timer: Utilize generic sched_clock