[Bug 752296] on a AMD Phenom (tm) II X4 the kernel started by xen ends with panic before starting the GUI