[PATCH] 64-bit timer fix

I think I have found it and it only hits on a 64 bit machine.

If the timeout is big enough we still need to initialise timer->entry.
Otherwise bad things happen we we hit del_timer.

kernel/timer.c

@@ -94,9 +94,11 @@ static inline void internal_add_timer(tvec_base_t *base, timer_t *timer)
 	} else if (idx <= 0xffffffffUL) {
 		int i = (expires >> (TVR_BITS + 3 * TVN_BITS)) & TVN_MASK;
 		vec = base->tv5.vec + i;
-	} else
+	} else {
 		/* Can only get here on architectures with 64-bit jiffies */
+		INIT_LIST_HEAD(&timer->entry);
 		return;
+	}
 	/*
 	 * Timers are FIFO:
 	 */