[PATCH 20/20] Convert CONFIG_SYS_BOOTM_LEN to Kconfig