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