[PATCHv2 20/20] Convert CONFIG_SYS_BOOTM_LEN to Kconfig