IB/ipath: Fix calculation for number of kernel PIO buffers