sched_clock: Remove deprecated setup_sched_clock() API