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