Symbol: multiboot_info_t