Re: [PATCH 14/21] Convert CONFIG_SYS_MONITOR_LEN to Kconfig