Re: A linux kernel bug report about a USBcore driver