Symbol: multiboot_header