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.