Sur cette carte mère (Gigabyte EX58-UD4P), j'ai toujours du chercher comment booter sur une clé USB (pour installer Debian ou autre). Je m'écris ici la procédure :

- Vérifier que la clé USB boote bien sur une autre machine
- F12 au boot + « USB-CDROM » (ou n'importe quoi d'autre ne fonctionne pas)

Il faut :
- Entrer dans le BIOS (touche « Suppr »)
- Aller dans « Advanced BIOS Features »
- Aller dans « Hard Disk Boot Priority »
- Mettre « HDD-USB0 <marque-clé> » en premier dans la liste (touche « + »)