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!