Re: [PATCH v4 06/34] x86: Don't duplicate global_ptr in 64-bit EFI app