スペシャルカーネルをインスコ後にターミナルで
# /sbin/modprobe registers
# cat /proc/cpu/registers/CCCR
とやれば周波数が変わるとありますが
けれど数値の指定はどうすれば？