Bug#962161: Please use ipxe.efi under UEFI

[Alkis Georgopoulos <alkisg@gmail.com>]

Package: win32-loader
Version: 0.10.0
Severity: important

Hi, thank you very much for the initial UEFI support!
Unfortunately, when I selected:

PXE mode: install a PXE loader to allow remote kernel loading

I didn't get ipxe.efi to be able to netboot, but it prompted me to 
download the stable or unstable debian kernel etc.

Please see this bug report and patch for grub-ipxe, to see how a 
grub.cfg can use either ipxe.lkrn or ipxe.efi dynamically:

https://salsa.debian.org/waldi/ipxe/-/merge_requests/1
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=927783

So, if a user selects the PXE mode, please install both ipxe.lkrn and 
ipxe.efi, and use the grub.cfg mentioned in that bug report.

Thanks again!