[patch added to the 3.12 stable tree] tick-sched: Check tick_nohz_enabled in tick_nohz_switch_to_nohz()