From: Herton R. Krzesinski on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1354#note_6903...
Approved and merged by Justin. BTW,
redhat/configs/fedora/generic/CONFIG_INFINIBAND_IRDMA and
redhat/configs/fedora/generic/CONFIG_INFINIBAND_IRDMA set the same value, so I
think they could be merged into common. But that can be made later/in another
MR.