[CentOS-virt] xen kernel showing only one processor on SMP machine