feat(uefi): prefer loading kernels from \EFI\hermit

[mkroening]

This moves the hermit app and bootargs config from \EFI\BOOT to \EFI\hermit. The loader itself will still live at \EFI\BOOT\BOOTX64.EFI or wherever it can be booted from.

Prior work:

• Debian: \EFI\debian
• Ubuntu: \EFI\ubuntu
• Arch Linux: \EFI\arch
• Fedora: \EFI\fedora
• CentOS: \EFI\centos
• Rocky Linux: \EFI\rocky
• openSUSE: \EFI\opensuse

[sarahspberrypi]

That looks like a sensible idea to me. The only question I have left is why should we "only" prefer this filepath and not just require it (i.e., get rid of the or_else parts entirely)?

[mkroening]

I agree. I wanted to avoid breaking people immediately and allow them to migrate with the next release. In the release after the next release we can remove the deprecated path.

[sarahspberrypi]

I understand, makes sense! Otherwise, looks good to me, thanks :)