On Wed, Oct 19, 2011 at 2:59 AM, Oliver Schinagl <oliver@xxxxxxxxxxx> wrote: > > I've updated the BIOS to the latest version supplied by the manufacturer and > ran 2 new dmesges. I diffed them (stripped of timestamps) with the original > ones. It did not solve or influence USB support on a 64bit kernel in any > way. So still USB less on this specific board. > > I'd update the bugreport, but the bugzilla is still offline :( Sorry that this hasn't gone anywhere. I really miss the bugzilla to keep track of things like this. I did notice from your previous dmesg logs that your 32-bit kernel includes the xhci_hcd driver, but the 64-bit one does not. Is that because you disabled USB 2 & 3 (sorry, I'm pretty USB-illiterate)? I didn't see any IRQ-related differences between your 32-bit and 64-bit logs. Let's back up to the beginning. The 64-bit Ubuntu kernel boots fine with no USB devices, but extremely slowly when any USB devices are attached, right? Can you collect those two dmesg logs? Bjorn -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html