iPXE and USB-C

[NiKiZe]

Could you boot into something that has lspci and run lspci -nn Which would give us a list of all the pci devices in the machine, which also includes which chips is used to provide the USB interface, but AFAIK Type-C is just standard xHCI devices (USB 3) which should be fully supported.

Do you have a environment where you can build ipxe? in that case we can try and enable some DEBUG= flags, also try and use a type-c to USB 3 type-A(?) adapter and then use a nic that you know is working with ipxe on older hw.