Fíjate que los discos sean reconocidos de modo manual, por que quizá los está reconociendo en modo automático, y al no leer ninguno pues nomas no te lo pone en opción de arranque.
Al darlos de alta en modo manual, guarda los cambios, a veces varía dependiendo del fabricante, pero generalmente es con F10 como dijeron arriba