Remove bogus timer optimization - even if the timer isn't pending,

it might be actively running on another CPU, so we still need to
do the synchronous wait.

kernel/exit.c

@@ -610,7 +610,6 @@ NORET_TYPE void do_exit(long code)
 	if (tsk->pid == 1)
 		panic("Attempted to kill init!");
 	tsk->flags |= PF_EXITING;
-	if (timer_pending(&tsk->real_timer))
 	del_timer_sync(&tsk->real_timer);
 
 	if (unlikely(preempt_count()))