del_timer(9) on Linux

The text 09a84c74b664, as Debian 7 (Wheezy) shipped it.

deactive a timer.

del_timer(9) on Linux now