# CONFIG_INFINIBAND_MTHCA is not set