[coreboot] Disabling hyper-threading on Ivy Bridge

[Nico Huber]

On 13.01.2018 17:13, Nico Huber wrote:
> You can check if hyper-threading is enabled by looking at MSR 0x35
> (CORE_THREAD_COUNT) or CPUID (eax 0x0b, ecx 0x00 / 0x01). Both should
> be documented in Intel's SDM [1].
> 

Forgot the link:
[1] https://software.intel.com/en-us/articles/intel-sdm