The text d7caaaef9cf5, as Debian 13 (Trixie) shipped it.
tune kernel clock
clock_adjtime(2) on Linux now
