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