Created attachment 115641 [details]
dmesg Linux 4.0.2 + patch "Disable semapthores..." #2

Another try with the patched kernel.  This time I quit mplayer while stil
playing ok a run again.  Maybe contains useful info.