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