On Monday, December 17 2012, H. J. Lu wrote: > I tried it and it works for x32. Thanks for trying it out, H.J. I will wait until other maintainers review this code, since it touches more architectures as well, before I commit the patch. But I assume your message means approval for x32, right? Thanks, -- Sergio