hay veces que no es necesario entrar en la bios para cambiar lasecuencia de arranque, hay una opcion para hacerlo, en el caso que te pongo es dando a escape, a continuacion te sale la ventana para seleccionar el arranque que desees.