carlanlinux

En la BIOS la opción de cambiar el arranque de uno a otro dispositivo la tienes en First Boot device.

De todas formas si no sale i crees que deberías salir una opción para arranque desde un dispositivo USB, puedes probar a bajarte la última actualización de tu BIOS desde la web de su fabricante.

Un saludo.

__________________
By Be a Superstar!