Grub set default kernel ubuntu July 8, 2019 16 32 64 128 Ubuntu 20.04 grub set default kernel Ubuntu 22.04 grub set default kernel Set default kernel to boot grub ubuntu Grub default
