As a followup I see this problem on three different 64bit machines now. Symptom is usually that only one core is active because ACPI doesn't see the other processors in its tables. -Andi --