grub～カーネル起動時パラメータ調整～

grub起動時のカーネル引渡しパラメータの追加/変更方法。
/etc/default/grub をエディタで開く。

GRUB_CMDLINE_LINUX="～ここにパラメータを書く～"

保存後以下を実行する。

# update-grub

/boot/grub/grub.cfg が更新されて有効になる。
（直接このファイルをいじってはまずいらしいので、このような手順を踏む）