What's the status of ACPI?
Is it enabled in the bios? Is the acpi service installed and running?
I see nothing in the bios for ACPI which is odd.
in /proc/acpi/processor there is a CPU0 and CPU1 the info file shows process id: 0 and 1 in each file.
So it looks like its there but /proc/cpuinfo still only shows 1 entry.
Just not sure the OS is really using two cores. It seems like its not.
jerry