Re: [U-Boot] [PATCH 10/14] New config variable CONFIG_MENUCMD