[Bug 623680] New: xen kernel freezes during boot ("usbcore: registering new driver usb")