# CONFIG_HDLC_CISCO is not set
