grub2って、カーネルコマンドラインオプションは何処で設定するんだ？