Is there a way to know from the command line of a standard LINUX distro (or by installing some tool), whether hyperthreading is enabled in the BIOS of a given machine ? 
Hyperthreading: is there a way to know from the command line if it is enabled in BIOS?
bios