[PATCH v5 10/46] x86: Correct get_sp() implementation for 64-bit