Several vulnerabilities have been discovered in the Linux kernel