[PATCH v3 08/43] x86: Correct get_sp() implementation for 64-bit