instalar o Debian 4r2 Etch em INTEL CORE 2

O Core 2 Duo é 64 bit e na linguagem da Intel é EM64T.
Tem que baixar a ISO que tenha AMD64.