Boot option change default July 8, 2019 16 32 64 128 Change default boot option in grub Change default boot option windows Boot menu settings windows 10
