will also scan for kernels <i>without</i> a <tt>.efi</tt> filename
extension. This option is not the default, though, because it can pick
up old kernels that lack EFI stub loader support and even non-kernel
will also scan for kernels <i>without</i> a <tt>.efi</tt> filename
extension. This option is not the default, though, because it can pick
up old kernels that lack EFI stub loader support and even non-kernel