Das Paket uefi-shell wurde in mehreren Repositorys gefunden: