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