追加された行はこの色です。削除された行はこの色です。SMP環境だと、CPUクロックを誤認識するようです。そのため、時計が狂ってしまいます。Timecounterの値を使います。RvII26/RsII26の場合は、i8254になっているハズです。i8254の値は、machdep.i8254_freqから参照や変更ができます。そこで、この値を直接変更することで、時計の進み具合を速くしたり遅くしたりできます。ntpdateを使いながら、適切な値を設定してください。筆者の環境では、以下のように設定することで時計が正常に動くようになりました。RsII26は、APICに固定されているためです。これらの2機種では、SMPカーネルを使うことにより、動作する可能性があります(試したことはないですが、おそらく動くはずです)。kernelが立ち上がります。