[arch-releng] UEFI Shell