Je connais un BIOS où ça se fait en deux temps : d’abord, il classe les périphériques amorçables par groupes (Floppy, DD, réseau, CD-ROM), puis dans chacun de ces types, les disques détectés.
Il se trouve que, pour pouvoir démarrer sur une clef USB, je dois d’abord choisir « Groupe DD », puis, dans une autre liste, l’identifiant renvoyé par ma clef USB dans la liste des disques durs détectés (oui, ce BIOS range les clefs USB dans la même catégorie que les disques durs).
T’as pas un truc pareil, de ton côté ?