Die Intel CPU's sind auch schon seit längerem 64bit fähig.
Man beachte einfach die Kernelflags bei "cat /proc/cpuinfo".
Steht dort das Flag "lm", ist der Prozessor 64bit Fähig.
Soweit ich mich erinnern kann, hat der P4 seit Socket 775 das Flag.