Symbol: KRB5_CONF_KDC_PORTS