For the record: ok, my mistake. Wrong kernel actually. However, #57 error is still valid in my case with corrected kernel version.
For the record: ok, my mistake. Wrong kernel actually. However, #57 error is still valid in my case with corrected kernel version.