It's always easy after the fact to speculate of what should've been done. It's also almost guaranteed to be an idle exercise. In this specific case, the world needed an openly-developed and open-source kernel and it got one: Linux. Unless new type of hardware comes and significantly changes the rule, there will likely be no other Linux. Not more than there will likely be a new GCC. I think we can move on to other areas of the stack.