iPXE EFI crash on Dell R630 + ConnectX-4

[gms]

Hi,

iPXE EFI is crashing while booting CentOS 7.6 installation kernel/initrd on a Dell R630 with a Mellanox ConnectX-4 card.

Here's a screenshot of the crash: https://i.imgur.com/kfR4fkD.png
Here's the dump the box produces: http://dpaste.com/3T4MW0G.txt

Using snponly.efi seems to make it work.

iPXE version is b6ffe.

The box is running the latest BIOS and NIC firmware.

Is this an iPXE driver bug?

Let me know if you need more information.

Thank you.