深刻な不具合は一度もないからいいけど、
削除されたカーネルのイメージがそのまま残るのはもう仕様なのかな？
linux58もlinux59も結局手作業で削除してgrub.cfgを更新したけど。