[coreboot] Which MSR disables hyperthreading (all non-BSP/AP cores)?

Or: how to start a multicore (hyperthreading) processor as if it were a singlecore (non-hyperthreading) processor. Would it be necessary to configure APIC/IPI in serialice' mainboard specific code? See these message [1] [2] [3]. This is the output from two processors with hyperthreading disabled

Re: [coreboot] Which MSR disables hyperthreading (all non-BSP/AP cores)?

On Wed, 2012-02-15 at 17:33 +0100, Idwer Vollering wrote: Or: how to start a multicore (hyperthreading) processor as if it were a singlecore (non-hyperthreading) processor. To my knowledge, there is no such MSR for P4 Hyper-Threaded CPUs using the NetBurst Architecture. So SerialICE may need