del_timer(9) on Linux

The text 66f96c097ed3, as Debian 4.0 (Etch) shipped it.

deactive a timer.

del_timer(9) on Linux now