[PATCH 4.9 04/17] nohz: Fix local_timer_softirq_pending()