Symbol: multiboot_uint64_t