hrtimer: Clean up the 'int clock' parameter of schedule_hrtimeout_range_clock()