Corrected x86-64 NOT translation