(Aug 14) Several security issues were fixed in the Linux kernel.