Change default grub boot option ubuntu July 8, 2019 16 32 64 128 Grub default Make grub default bootloader
