RHELにおいて、GRUB設定ファイルを直接編集せずに、カーネル引数の追加や削除、デフォルトカーネルの変更を行うための推奨ツールはどれか。

grubbyコマンドは、スクリプト化しやすく、GRUB設定ファイルの再生成を意識せずにカーネル設定を変更できるツールである。