The text e0755b763b9e, as Debian 4.0 (Etch) shipped it.
initialize a timer.
init_timer(9) on Linux now
