Symbol: dboot_multiboot2_modcount