[pull request] x86-nx-emulation