ntpdate

ちょっと時刻を更新するために、わざわざntpdを立てるのはヤダ。
Debian Etchでは/usr/sbin/ntpdate-debianというスクリプトが、立ち上がり時に/etc/network/if-up.d内のntpdateから呼ばれる。
ntpdate-debianは、/etc/default/ntpdateを参照して動作を決める。NTPDATE_USE_NTP_CONF=noにして、下にntpサーバー名を書けばいいようだ。
ntp.nict.jpを0番目にいれた。