BUG: KCSAN: data-race in tick_nohz_next_event / tick_nohz_stop_tick