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