Re: [PATCH] Convert CONFIG_SYS_MALLOC_LEN to Kconfig