[PATCH 33/38] tick-sched: replace tick_nohz_active with tick_nohz_enabled in tick_nohz_switch_to_nohz()