Hi Manfred,
thanks for providing this information. I think your problem was similar
to the current ohci_hcd driver split, only for ehci_hcd, as in linux 3.8
the ehci-pci was introdced and linux 3.9.6-1 migrated to testing on
2013-06-21, where before that it was still 3.2. Apparently this has been
fixed in the meantime, as the current installer correctly loads ehci-pci.
Best regards,
Andreas
--
To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/52ade120.4000...@googlemail.com
