Re: [PATCH v4 2/5] sched_clock: Optimize cache line usage