Re: [PATCH 2/2] x86: provide typedef jmp_buf