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.
Assuming you mean texting style acronyms, yeah, we have them in German and I’d assume in other languages too.
Alongside the stuff borrowed from English 1:1, there’s stuff like bb for “Bis bald” (See you soon) or hdl for “hab dich lieb” (Love you)
I’d assume other languages do the same out of efficiency or laziness.