Ah, l'UEFI de chez ASUS me semble déjà plus correct que celui d'Asrock. Bon, désactivons le SecureBoot..