The timex/time code requires CLOCK_TICK_RATE to be constant.  We
assume that the platform picks an appropriate clock source such
that we generate an exact HZ value, and set CLOCK_TICK_RATE to
a value where ACTHZ == HZ.