The text ad03913171c8, as Debian 6.0 (Squeeze) shipped it.
forward the timer expiry
hrtimer_forward(9) on Linux now
