int do_menu (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]) { first_boot_set_machtype(); menu_shell(); return 0; }
int do_menu (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]) { menu_shell(); return 0; }