dboot_multiboot_modcmdline
cmdline = dboot_multiboot_modcmdline(i);
char *cmdline = dboot_multiboot_modcmdline(midx);