Re: [RFC PATCH v3 08/15] sched/clock, x86: Make __sched_clock_stable forceful