Re: [PATCH 1/4] Convert CONFIG_KEEP_SERVERADDR to Kconfig