xbc_make_cmdline
extra_command_line = xbc_make_cmdline("kernel");
extra_init_args = xbc_make_cmdline("init");