adjtimex(2) on Linux

The text e66a118e30e7, as Debian 10 (Buster) shipped it.

tune kernel clock

adjtimex(2) on Linux now