Another angle is that most donations to Linux kernel are in the form of paid employees doing kernel work. I wonder how much the kernel need besides that.