UEFI-compatible PXE boot

[singingtelegram]

make our PXE server UEFI compatible

https://wiki.debian.org/PXEBootInstall

• files
• DNS server settings
• testing
• secure boot?

[nikhiljha]

We have a proof of concept using https://github.com/danderson/netboot/tree/main/pixiecore for newk8s, we should make the rest of the infrastructure use it too...