The text ec3a7447ec7d, as Debian 7 (Wheezy) shipped it.
function to round jiffies to a full second
round_jiffies(9) on Linux now
