On Sat, Jul 05, 2014 at 10:10:26PM +0200, Bastian Blank wrote: > The problem showed up again.
It does not show up if I specify "kernel_irqchip=off".
Bastian
--
Violence in reality is quite different from theory.
-- Spock, "The Cloud Minders", stardate 5818.4
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
