# CONFIG_ISDN_PPP_BSDCOMP is not set