[l] Hmm, das Upgrade auf Linux 4.12 macht bei mir USB kaputt. Ich dachte, die Zeiten seien vorbei bei Linux, dass derartige Basis-Funktionalität kaputtgeht bei neuen Versionen.
Update: Einsender helfen aus: Man muss CONFIG_USB_PCI anschalten, wo sich die Beschreibung fälschlicherweise so liest, als sei das bloß für irgendwelche SOCs wichtig.