Ben Hutchings wrote: > However, the lspci output you attached to #703469 shows that the xHCI > does not have a driver bound to it. Perhaps the kernel log (from > dmesg) would explain why. Thanks Ben. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=703469#25 "request interrupt 255 failed"? That's the dmesg output from the running (non-Xen, that's another bug) system, not from the UEFI d-i.