bug#46229: rdma-core 33.x breaks InfiniBand support in Open MPI

[Ludovic Courtès]

Good news!  This is fixed by:

  
https://git.savannah.gnu.org/cgit/guix.git/commit/?id=37e997bc7867901dc5eaf9060358dfddacae8dd6

Ludo’.