I expected to be able to just select either windows, or Linux Mint at boot up. But it appears that grub has taken over. In order to get into Linux Mint, I need to have the USB stick in the port. I press the power button and press contr/alt/delete, then I press F12. This brings me to the...