On Sat, Jul 08, 2017 at 10:42:26AM +0200, Jochen Sprickerhof wrote: >> Don't you also want this? >> >> https://bugs.debian.org/cgi-bin/bugreport.cgi?att=1;bug=843448;filename=2166ffd004e04a61887eb2a39f8639dc12140c58-updated.diff;msg=75 > This is not needed to fix this bug. Well, you don't get working USB after a warm boot without it, do you? /* Steinar */ -- Homepage: https://www.sesse.net/