[PATCH] Fix a NO_IDLE_HZ timer bug