Re: [PATCH 1/2] x86: fix longjmp() implementation