Правильная 64-разрядная версия действительно называется amd64. Это связано с тем, что AMD первой создала 64-битный процессор, поэтому «тег» застрял, как и i386 для 32-битного, потому что IBM (я думаю, это было) создал первый 32-разрядный процессор.
Итак, если у вас 64-разрядная аппаратная система, вам нужно загрузить amd64.iso, чтобы она работала.