ipath doesn't work on any 32-bit architecture. The kernel Kconfig file has config INFINIBAND_IPATH tristate "QLogic InfiniPath Driver" depends on (PCI_MSI || HT_IRQ) && 64BIT && NET but I guess the OFED build system doesn't enforce that. - R.