The hermon driver seems to be having issues with latest Connect-X2 cards (PCI: 26428). I just downloaded latest gPXE 1.0.0 code and build gpxe.lkrn and loaded the image from grub. I also tried burning into the optionROM withe same results. This is 100% reproducible.