The text 2565e59f2f1a, as Debian 6.0 (Squeeze) shipped it.
start a timer on a particular CPU
add_timer_on(9) on Linux now
