[U-Boot] tools: board config CONFIG_SYS_BOOTM_LEN is being ignored