timekeeping: Use READ/WRITE_ONCE() for tick_do_timer_cpu