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'tsee the other processors in its tables.-Andi