…
ACPI: Processor [CPU1] (supports C1)
ACPI: Processor [CPU2] (supports C1)
…

Hyperthreading P4? Just my USD 0.02.