Well, at some point you're right, hyperthreading is not supported. Nevertheless, it doesn't matter, because my hardware contains 2 Dual Core Xeon CPU's. ESXi can see the dual cores, so, eventhough I have 2 physical CPU's, I have 4 logical CPU's. ESXi transforms each "real" logical CPU into a virtual "physical" CPU, providing each virtual machine with as much as 4 vCPU. Again, these vCPU's are treated as "physical", not "logical".
That's why I don't understand why I'm only seeing/using 2 CPU's in my virtual WS 2008 Enterprise SP1, even though I provided 4 vCPU's and the virtual OS is seeing 4 vCPU's in the device manager.
Any ideas?