Fixes #1014302 - add detection of shell.efi
This will permit folks to drop a shell.efi
on the ESP for devices that do not actually embed the EFI Shell in their firmware. Depressingly a large number of embedded devices and server boards do not include the EFI shell as no console is expected.