A question on terminology, I come from bsd world so prefer i386, amd64, ia64(the itanium) whereas the linux side appears to prefer x86 x86-64 Nothing wrong with it(it describes the architecture fine) but I assume that x86-64 is intel face saving propaganda.
There exist two different (and slightly incompatible) implementations of 64-bit x86, which the respective CPU vendors call AMD64 and Intel 64 (previous names of the latter: EM64T and IA-32e).
So, what Intel implements is not AMD64, but something slightly different.
Concerning the small incompatibilities between AMD64 and Intel 64, see for example
Comments
There exist two different (and slightly incompatible) implementations of 64-bit x86, which the respective CPU vendors call AMD64 and Intel 64 (previous names of the latter: EM64T and IA-32e).
So, what Intel implements is not AMD64, but something slightly different.
Concerning the small incompatibilities between AMD64 and Intel 64, see for example