I am using x86_64 on a opteron box and a core 2 duo laptop, but I see nothing about NX in dmesg (but cpuinfo reports it).