A linux kernel Oops!
[the kernel update to fix this problem is now available 5/19/2014]
I’ve just noticed discussion of a recently discovered kernel bug:
This does not appear to be of great concern for the typical home user of linux, but is a potential problem for servers.
We can probably expect to see a kernel update soon.