# CONFIG_DLCI_MAX is not set
