Direi amd64, non hai molta scelta. Prevengo la domanda successiva: "amd64" è il nome dell'architettura, che il processore sia Intel non c'entra.