x86, sched_clock(): mark variables read-mostly