VirtualBox 4.3 takes into account physical cores and not hyperthreads.
Closing as fixed. Please reopen if the problem still persists.