Julien Aubin Sun, 26 Jun 2016 23:55:12 -0700
Hi
I have tried again and found out that even with the kernel command line switch the bug still occurs.