Re: [RFC][PATCH 4/4] x86_32: Provide consistent pt_regs