Re: [RFC PATCH] sched_clock: Avoid tearing during read from NMI