"We tested 3.13.0-75-generic #119-Ubuntu proposed kernel.
Our test program detects the problem 12 times in 7000 running on the conventional kernel.
On the 2 systems with the proposed kernel the problem didn't occur in 1000000 running on each system.
It seems that the problem has been fixed."
It has been brought to my attention :
"We tested 3.13.0-75-generic #119-Ubuntu proposed kernel.
Our test program detects the problem 12 times in 7000 running on the conventional kernel.
On the 2 systems with the proposed kernel the problem didn't occur in 1000000 running on each system.
It seems that the problem has been fixed."