# CONFIG_DLCI is not set
