Bjorn Helgaas wrote:

> > When I plug in a USB device it is not recognized. It does not even
> > appear in lsusb. And it says that it disables IRQ 11 - which is even 
> > NOT the IRQ used by USB!
> 
> Does it make any difference if you boot with "pci=routeirq"?

No. The behaviour is the same. Perhaps the message is somewhat
different, but the "IRQ 11 disabled" part is still there.

I also tried two other boots: "acpi=off", and "pci=noacpi acpi=noirq".
They also did not help at all.

I am attaching the dmesg for the normal boot. I can also send the dmesg
for any other kind of boot if necessary...

Yours, Mikhail Ramendik