The text c5fe649c1ae3, as Debian 8 (Jessie) shipped it.
read a vector of integers as 1/USER_HZ seconds
proc_dointvec_userhz_jiffies(9) on Linux now
