It's definitely a tradeoff. Distributed systems are hard. Isolation is good. One of the best tools we have for isolation is processes and MMUs.

I'm not saying we should all switch, it's just that it's possible, given my understanding of how we're dealing with the intel bug, that one of the arguments against microkernels just went way. So they might make sense in places they previously didn't.