[Query]: tick-sched: can idle_active be false in tick_nohz_idle_exit()?