Use Kirkwood's two 200Mhz 32-bit timers for fastticks and timer interrupts
with high resolution.  As a side effect this eliminates the crash which
used to occur with the old 100Hz timer code, when timesync set the TOD clock
frequency to < HZ.