Tendo recentemente descoberto isso por nós mesmos, aprendemos que o 10d não tem nenhum suporte de 64 bits para mencionar. Isso pode estar errado; Como você diz, o site da Symantec é bastante opaco. Ele também não vai tocar no Server 2008, mesmo nas versões de 32 bits. É muito velho. E ainda estamos usando isso.