cmd_load_binary
{ cmd_load_binary, 1, { "0x80001000", 0, 0, 0, 0, 0, 0 } },
{ "loadbin", cmd_load_binary },
int cmd_load_binary(int, char **, int);