command_boot
return(command_boot(1, argv));
COMMAND_SET(boot, "boot", "boot a file or loaded kernel", command_boot);