> I've heard it suggested several times now that features > like HyperThreading can be enabled or disabled "in the BIOS" I notice that dmidecode shows the flags in question in the output for record Type 4, so maybe the BIOS modifies the DMI data and the kernel chooses to believe that instead of querying the CPU directly.