# CONFIG_INFINIBAND_BNXT_RE is not set