GRUB2でデフォルト起動するカーネルバージョンを変更する

久しぶりのブログになってしまいました…。先日、開発用マシン(Fedora17)にVMware Player 5をインストールしたのですが、Playerは起動するも、仮想マシンを起動しようとするとすぐに落ちる、という問題が起きました。 調べてみると、kernel 3.5系では、こういう問題もあるらしいので、カーネルのバー…