Re: [PATCH 20/20] Convert CONFIG_SYS_BOOTM_LEN to Kconfig