Added ESTABLISH and save/restore stack.

Following the pattern of the x86_64 implementation. Add macros to
save and restore the stack, and to establish a condition handler.
Details remain to be worked out in both fronts. In particular, we
need to identify what other registers (if any) to put in the stack.