setting default kernel in grub

Due to the backlight trouble in ubuntu 4.13.0-26, I have to keep older kernel for private PC.

• set GRUB_DEFAULT in /etc/default/grub
• the value is index of array output by grep menuentry /boot/grub/grub.cfg
• run sudo update-grub