Symbol: multiboot2_header_t