タイマー周期

ここ半年、Linuxのソースコードを見ると250しか書いていないので、どこで1000が書いてあるのかと、ずーっと思っていたのだが、2.6.0と2.6.13でタイマー周期が変わっていたらしい。2.6.0で周波数が一度上がって、2.6.13で消費電力の削減のため、250 Hzに変わった。
ちなみに、Xenのパラカーネルのビルドオプションは100HZである。
http://http://www.linux.or.jp/JM/html/LDP_man-pages/man7/time.7.html
＠IT：Linux Kernel Watch 8月版 割り込み頻度変更で消費電力は低下するか？（1/2）
How fast should HZ be? [LWN.net]