MULTIBOOT_TAG_TYPE_EFI64_IH
case MULTIBOOT_TAG_TYPE_EFI64_IH:
ih->type = MULTIBOOT_TAG_TYPE_EFI64_IH;