# CONFIG_INFINIBAND_IPOIB is not set