file_loadkernel
if (file_loadkernel(cp, argc - 1, argv + 1) != 0)
if (file_loadkernel(argv[1], argc - 2, argv + 2) != 0)
int file_loadkernel(char *filename, int argc, char *argv[]);
int error = file_loadkernel(argv[1], argc - 2, argv + 2);