Fedora でカーネルの種類を変えたときは

Fedora のカーネルを PAE 対応のものから非対応のものに変えた後、カーネルをアップデートした際に GRUB ブートローダーが起動するデフォルトのカーネルが自動的に更新されなくなってしまった。/etc/sysconfig/kernel ファイルにある DEFAULTKERNEL の設定が kernel-PAE のままになっているのがいけないように見えたので、kernel に直した。