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.