I have a problem with Tanenbaum claiming that having Intel ask him to work for free then taking his work to implement a hardware backdoor without giving anything back (not even credit) is somehow a great thing and a proof that BSD is superior to the GPL. And that only because it means that he can say that MINIX is somehow "most widely used operating system in the world on x86 computers", which, I guess, is kind of technically right. Somebody should send him a t-shirt or something.
I license my code with BSD because "I don't care what you do with it", mostly. I won't write a thank you note if some of my code ends up in some closed source product, especially something as shady as Intel's ME. And I definitely wouldn't knowingly do custom work for a company as big as Intel for free.