Re: [U-Boot] [PATCH v4 6/7] Build arch/$ARCH/lib/bootm.o depending on CONFIG_CMD_BOOTM