Oh et bonne nouvelle pour ceux qui ne le savaient pas, les derniers ISO d'Arch incorpore directement le support EFI donc pas besoin de grave magouiller comme dit avant dans le wiki.
Perso, faut juste une ou deux manip de plus pour l'UEFI. Ma Arch tourne avec et ça n'a pas été dur du tout (et pourtant... Dieu sait que je suis nul)
La seule question que tu as à te poser c'est "est-ce que l'ISO permet le boot en UEFI" (Ce n'est que depuis la version 7 de Debian que c'est possible par exemple) et Debian t'installe ça toute seule.
Faut du GPT et une partoche de minimum 512 MB à formater en fat32 et de suivre la doc.
Dans mon cas, je n'ai aucun affichage de présentation du BIOS lorsque je démarre le PC du coup en moins d'une seconde je suis déjà sur le GRUB 