Re: [LAU] UEFI (was How to turn off hyperthreading?)