# CONFIG_INFINIBAND_AMSO1100 is not set
