カーネル更新後は、update-grub コマンドで設定を更新するが、いつもカーネルオプションが元に戻ってしまい毎回直していた。本当はデフォルトのカーネルオプションが指定できることが分かった。/boot/grub/menu.lst にて、 # kopt=root=/dev/hda1 ro「コメン…