>>683
(1) rpm -q -a | grep kernel-develってやるとどうなる？
(2) specファイルを指定して(-ba)やるとどうなる？

>>684については何も問題はない。カーネルを切り替えてトラブルが
起こったときのために、複数のカーネルをインストールすることはよくある。