The text e95c0b93c12f, as Debian 6.0 (Squeeze) shipped it.
(re)start an hrtimer on the current CPU
hrtimer_start(9) on Linux now
