これが限界。

grub メニューが切り替わってなかった模様。 /boot/grub2/grub.cfg を手動編集して起動するようになった。今後、毎回編集しないとだめなのかな？それは、嫌だな。 menuentry 'Fedora (4.8.8-300.fc25.x86_64) 25 (Workstation Edition)' --class fedora --cl…