Symbol: multiboot_header_t