The text 547e2772bf92, as Debian 5.0 (Lenny) shipped it.
forward the timer expiry
hrtimer_forward(9) on Linux now
