sooner or later we'll need to look into UEFI booting and leaving legacy bios behind, there's no immediate hurry but neverless something to look into. The original context for this is T90922 from which we've learned a few things:
* grub-efi boots via pxe just fine
** however it doesn't (yet?) support passing a path prefix via dhcp so we'll need to find another way to differentiate distributions/installer per-host
* syslinux wasn't able to successfully boot linux on hp gen9
* to boot uefi needs a [[https://en.wikipedia.org/wiki/EFI_System_partition | system partition]] (ESP) formatted FAT16/32 and with a specific GUID if using GPT or id if using MBR
** in practice this means changing partman to accommodate for that
note: this is orthogonal work (but required for) secure boot