[patch 11/16] ia64: fix user_stack_pointer() for ptrace()