De acordo com o link , sua estação de trabalho é de 64 bits, e o AMD64 refere-se ao arquivo sendo para 64- máquina de bits. Então, provavelmente sua instalação funcionará. Se houver problemas com a instalação, não será por causa do "AMD64".
A extensão do seu arquivo deve ser .iso se você estiver gravando em um disco ou drive USB.