/etc/sysconfig/kernel

https://users.miraclelinux.com/technet/faq/data/00104.html

4. GRUBの更新

MIRACLE LINUX V4.0では、kernel(kernel-smp)パッケージのインストール時に、新しいカーネルをデフォルトで起動できるようにGRUBの設定が自動で更新されます。
kernelパッケージの更新時に、デフォルトカーネルの変更を行いたくない場合には、/etc/sysconfig/kernelパッケージのUPDATEDEFAULTパラメータをnoに変更します。
- /etc/sysconfig/kernel
UPDATEDEFAULT=no

また、デフォルトカーネル変更時のデフォルトカーネルの種類を、kernel-smpからkernelなど別の種類のカーネルに変更したい場合には、/etc/sysconfig/kernelパッケージのDEFAULTKERNELパラメータを変更します。 - /etc/sysconfig/kernel
DEFAULTKERNEL=kernel