GRUB 2の設定ファイルにおいて、デフォルトで起動するOSエントリを指定するパラメータはどれか。

/etc/default/grub内のGRUB_DEFAULTで番号やタイトル、”saved”などを指定する。