Você tem algumas noções confusas.
Um soquete x64 significa um soquete da CPU físico x86 / x64 padrão. Se você tem 2 CPUs quad core em sua placa-mãe, então você tem dois soquetes. O número de núcleos é irrelevante para o Windows Server.
Você não precisa multiplicar nada por qualquer outra coisa.
Se estiver mostrando 8 núcleos no gerenciador de tarefas e você tiver 2 quad-core, não haverá hyper-threading. O HT mostrará dois núcleos no gerenciador de tarefas para cada núcleo físico, se estiver habilitado.