Are we really going to start this pointless discussion again? They are two licenses with different use cases and different considerations. GPL has a lot more mental overhead to using it, MIT is hands off, both of these aren't inherently invalid.
Also Tanenbaum in your own link mentions that Intel probably would have just written their own microkernel if need be.