dboot_multiboot_modend
mod_end = dboot_multiboot_modend(i);
uint32_t mod_end = dboot_multiboot_modend(midx);