Re: [PATCH 13/20] Convert CONFIG_SYS_PROMPT et al to Kconfig