Mellanox ConnectX-3 / Pro Driver Install may cause Blue Screen crash: DRIVER_IRQ_NOT_LESS_OR_EQUAL

Windows 2012R2 may generate a Blue Screen crash: DRIVER_IRQ_NOT_LESS_OR_EQUAL when attempting to install Mellanox drivers for ConnectX-3 / Pro. This issue may occur with the Mellanox inbox driver due to a limitation supporting systems with more than 128 logical cores, given that hyper threading is enabled. The blue screen on driver mlx4_bus.sys may occur when the number of processors are greater than the maximum number of MSIX-X vectors requested by the driver.  This maximum is 128.

Note: The maximum is equal to 128 with Hyper-Threading enabled and 64 with Hyper-Threading disabled.

This issue is resolved in Mellanox OFED for Windows (WinOF) 5.22 or 5.25.
However, a workaround (see below) is required prior to installing WinOF 5.22 or 5.25. A new driver install during OS deployment may be used to replace the inbox driver.

Workaround:

1. Go into F2 System Setup at system start
2. Choose System BIOS
3. Enter Processor Settings
4. Change the "Number of Cores per Processor" so the total will be less than 128 when all processors are taken into account
5. Reboot the server and install the new driver.
6. Reboot the server, go back into System Setup
7. Choose System BIOS
8. Enter Processor Settings
9. Change the "Number of Cores per Processor" back to "All".
10. Reboot into the OS.