X1 Gen1 Carbons hang when trying to get a DHCP address through the embedded script

[robinsmidsrod]

I just answered the following on IRC: If you're using UEFI mode, you shouldn't be using undionly.kpxe, you should be using either ipxe.efi or snp.efi. If you're trying to get a USB NIC to work then you should definitely be using ipxe.efi as I'm going to assume that your USB NIC doesn't have a PXE ROM, thus snp.efi is useless (because there is no existing SNP/NII driver loaded which iPXE can use).