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