[Bug 417580] when starting xen-kernel it does not recognize CPU1-CPU3 at AMD Phenom 9950