Fijate muy bien nada más enciendes el portátil en las opciones que te pone por la pantalla, pone como:
[F10]: Cambia opciones de arranque
[F11]: Entra a la configuracion de la BIOS
Si te da la opción de entrar a las opciones de arranque directamente, pulsa la tecla que te diga al arranque. Si el portátil es viejete y no te da la opción, no tienes más remedio que entrar a la bios y... toquetear ^^.