(Nov 15) Several security issues were mitigated in the Linux kernel.