K 10
svn:author
V 6
royger
K 8
svn:date
V 27
2018-06-26T15:00:54.454003Z
K 7
svn:log
V 154
xen: obtain vCPU ID from CPUID

The Xen vCPU ID can be fetched from the cpuid instead of inferring it
from the ACPI ID.

Sponsored by: Citrix Systems R&D

END