University was banned from contributing to the Linux kernel for deliberately inserting vulnerabilities