Bug#828087: Bug #828087

[Julien Aubin]

Hi

I have tried again and found out that even with the kernel command line
switch the bug still occurs.