del_timer_sync(9) on Linux

The text 08ec2ecf0d3e, as Debian 5.0 (Lenny) shipped it.

deactivate a timer and wait for the handler to finish.

del_timer_sync(9) on Linux now