The text 8731f1851b1f, as Debian 6.0 (Squeeze) shipped it.
function to round jiffies up to a full second
__round_jiffies_up(9) on Linux now