# CONFIG_PPP_MPPE is not set
