dboot_multiboot_modstart
mod_start = dboot_multiboot_modstart(i);
uint32_t mod_start = dboot_multiboot_modstart(midx);