Created attachment 586965 [details] sosreport Description of problem: F17 with current updates on a Biostar TZ77B with an i7-3770S shows only 4 cores. Version-Release number of selected component (if applicable): 3.3.7-1.fc17.x86_64 How reproducible: Boot and check /proc/cpuinfo Steps to Reproduce: 1. N/A 2. 3. Actual results: CPU's 0-3 are available Expected results: CPU's 0-7 should be available Additional info: I have tested the identical setup and BIOS settings with another distro and hyperthreading works correctly when running it.
you booted with acpi=off, forcing the kernel to fall back to using the legacy MPS method of cpu enumeration, which it seems is broken on your BIOS. Turn acpi back on, and it should be fine.