The only netinst iso I see that has anything to indicate it is 64 bit is named amd64. So when a PC is running Intel64, is there a 64 bit ISO for that? I am installing Debian as guest in a vm running on win7 64 bit. Since the ARCH is not amd, is there a 64 bit iso to use in that case?