[U-Boot] [PATCH 13/15] New config variable CONFIG_MENU