$ sudo apt-cache search linux-image
してダウンロード可能なkernelを探して
$ sudo apt-get install linux-image-extra-4.10.0-42-generic
kernelをインストールして、
再起動して、ESCキーを押して起動して、GRUBからバージョンを選択する。
Ubuntuの最新カーネルでPCが起動しない – 神技は行動の積み重ね
https://lubtech.geo.jp/2018-02-02/?p=4600
Ubuntu 14.04以降のGRUB2でデフォルトのLinuxカーネルを固定する - ytooyamaのブログ
https://ytooyama.hatenadiary.jp/entry/2018/06/25/235429
[Ubuntu] grubでブートするカーネルを変更する方法
http://sweng.web.fc2.com/ja/linux/ubuntu/change-default-boot-kernel.html
Ubuntu Grub Customizer その14 - GRUB2の高度な設定を変更する・GRUB2の設定を追加する・GRUB2の設定を削除する - kledgeb
https://kledgeb.blogspot.com/2013/11/ubuntu-grub-customizer-14.html
