The text 500b796426d1, as Debian 12 (Bookworm) shipped it.
get an RDMA device index
ibv_get_device_index(3) on Linux now
