On 04/16/2014 03:04 PM, Stefan Stanacar wrote:

https://bugzilla.yoctoproject.org/show_bug.cgi?id=6165

Link to the two kernels at the end of the first comment.

Yes, I found that i bit ago. Very helpful, thanks.

I have not run them yet (my only BBB is at home)
but I am comparing the objdumps.