How a university got itself banned from the Linux kernel