if you aren't getting the grub menu, hold SHIFT after BIOS. Use "e" (i believe, it should say) to edit, then ctrl+x to boot after your change.

Reply via email to