[PATCH 04/35] x86: Tidy up global_data pointer for 64-bit