追記：

Intel Extended Memory 64 Technology Software Developer’s Guide Volume 1 of 2, Order Number: 300834-002 を読む。
140ページにextended processor signature and extended feature bits (80000001H) というのがあって、EDXのビット12-19と21-28がreserved（予約）されている。でもってビット20はなんなんだ？未定義だぞ。(143ページの表)
http://www.sandpile.org/post/msgs/20005079.htm
よればそれがNX機能の有無を示すビットらしい。（ホンマかいな？）しかしどーやって、そんな情報を入手したんだろう？なぞはつきない。いずれにせよ、NX機能がついていたとしてもPTEのどのビットをオンにすれば実行可能ビット（あるいは実行不可）になるのだろう。