multiboot_tag_efi64_t
multiboot_tag_efi64_t *tag;
tag = (multiboot_tag_efi64_t *)
size += sizeof (multiboot_tag_efi64_t);
multiboot_tag_efi64_t *efi64tagp = NULL;
efi64tagp = (multiboot_tag_efi64_t *)