# CONFIG_INFINIBAND_USNIC is not set