Ubuntu 22.04 grub default kernel July 8, 2019 16 32 64 128 Ubuntu 22.04 grub change default kernel Ubuntu 22.04 grub set default kernel Grub default Ubuntu 22.04 new features
