[PATCH v3 06/35] x86: Don't duplicate global_ptr in 64-bit EFI app