University of Minnesota banned from contributing to Linux kernel, previous contributions also removed