From: Herton R. Krzesinski on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1354#note_6903183...
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.