My understanding is that hyperthreading is licensed as a single core.