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