Hi!

> > > > > Aha. So it looks difference is probably in "where is keyboard plugged
> > > > > in" but in "reboot" vs. "cold boot". I did not do a cold boot in quite
> > > > > a while :-(.
> > > > > 
> > > > > Booting to grub, then hitting ctrl-alt-del is enough to make it work. Ouch.
> > > > > 
> > > > > It happens with current Linus' tree.
> > > > 
> > > > v4.10-rc6-feb3 : broken
> > > > v4.9 : ok
> > > > (v4.6 : ok)
> > > 
> > > All I can suggest is git bisect.  :-(  But I agree that the problem is 
> > > unlikely to be in the USB layer.
> > 
> > Yep. I'm hoping PCI people speak up.... adding printks there should be
> > possibility, too.
> > 
> > (And I guess I should remove you and usb people from the cc-list... in
> > the next mails).
> > 
> > (I verified it happens with 32bit configuration, too, FWIW).
> 
> v4.10-rc1 seems to work.

No, it is somehow harder to test. It is only problem after some cold
boots.

Today machine was off for few hours, and then v4.10-rc7 failed to
boot. On next reboot, I waited for grub, hit ctrl-alt-del, and it
booted ok.

									Pavel
-- 
(english) http://www.livejournal.com/~pavelmachek
(cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html