On Thu, Feb 13, 2014 at 07:47:27PM +0100, Andre Heider wrote: > In any case, I'm hesitant to blame this on a compiler bug since > booting any of those kernels with "nousb" didn't yet end is weird > panics. Then again, everything seems just fine with: gcc version 4.9.0 20140209 (experimental) (GCC)