Hallo zusammen,
um die Lösung mal festzuhalten poste ich diese hier mal kurz.
Wenn man auf dem Raspberry PI 3 den USB Port auf 1.1 setzt dwc_otg.speed=1 kommt es mit Debian Stretch zu einem Kernel Oops.
Dies kann man verhindern indem man dwc_otg.speed=1 & dwc_otg.fiq_fsm_mask=0xB nutzt.
Damit tritt der Fehler nicht mehr auf.
Es scheint ein Bug im Linux Treiber zwischen dwc_otg & fiq_fsm zu sein.
73 Sebastian