I'm using a Intel E5-2603 v3 @ 1.60GHz CPU of 6
cores. However, the dom0 can only find one core. here are some
information that may helps in analyzing.
From `xl dmesg`
(XEN) ACPI Error (tbxfroot-0218): A valid RSDP was not found
[20070126]
...
(XEN) SMP motherboard not detected.
Xen cannot find any ACPI tables, and finds no secondary CPUs. As a
knock-on effect, dom0 only gets one.
How is your BIOS configured? Does booting Linux natively work?