Re: kernel settings with x86 hyperthreading