Per chi può interessare ho appena provato a far partire l'installer di ArchLinux sul nostro Dell.
UEFI, Secureboot e ArchLinux
Dopo aver copiato (con dd o con i tool appositi, vedere la wiki) l'iso di Arch su pennetta, fate fare il boot USB riavviando il PC e premendo ripetutamente F12 per il menù di boot, selezionate la voce UEFI USB e premete INVIO.
Vi comparirà un messaggio che vi dirà che il loader non è registrato, quindi vi chiederà se eseguire HashTool.
Selezionate Yes, e a quel punto andate sulla voce "Enroll hash".
A quel punto vi fa scegliere quali file aggiungere a SecureBoot.
Per ArchLinux i file di cui registrare l'hash sono loader.efi e ../archiso/vmlinuz-efi, aggiungeteli ed il gioco è fatto
.
Riavviate e seguite la stessa procedura, a quel punto il sistema partirà.
Provato con ARCHISO 2014-08-01 (kernel 3.15.7).