[CentOS-virt] Xen 3.1.2 on CentOS 5.5 doesn't see all 4 CPUs