If you download a typical Linux distro (eg Kubuntu’s download page, you have the option of picking the 32 bit i386 version or the 64 bit AMD64 version. Hold on, I have an Intel i7, so where’s the 64 bit download for Intel CPUs?
Intel’s i86-64 CPUs (i7, i5, i3 and Core 2) are actually based on AMD’s AMD64 CPU spec, released in 2000. The names i86-64 and AMD64 are just Intel and AMD’s names for the same thing. Huh, did not know that.