Since "switching to saucy kernel is a good workaround", marking this as affecting the kernel.
Could you try disabling KSM and see if that avoids the issue?
Since "switching to saucy kernel is a good workaround", marking this as affecting the kernel.
Could you try disabling KSM and see if that avoids the issue?