# CONFIG_USB_SIERRA_NET is not set
