[arch-releng] [PATCH 1/1] update download url for Shell.efi