Laz, if you could post here the output of
(sudo grep -r . /sys/devices/system/node/; sudo grep -r . /sys/devices/system/cpu) >sysfscpu.txt
so I can compare that against the libvirt output. I suspect there is already a problem there (which may lead to some BIOS table problem) and libvirt just picks up the wrong data from those entries.
Laz, if you could post here the output of
(sudo grep -r . /sys/devices/ system/ node/; sudo grep -r . /sys/devices/ system/ cpu) >sysfscpu.txt
so I can compare that against the libvirt output. I suspect there is already a problem there (which may lead to some BIOS table problem) and libvirt just picks up the wrong data from those entries.