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