# CONFIG_ISDN_CAPI_CAPIDRV_VERBOSE is not set