Ubuntu grub change default boot July 8, 2019 16 32 64 128 Ubuntu change default grub boot option Change grub default boot entry ubuntu Grub default