Всё что вы сказали — лозунги и маркетинг.
А микроядро так вообще, обязано быть медленнее. А вы не знали? Архитектура такая. За счёт производительности есть бонусы в виде выноса кода из кернел-спейса в юзер-спейс.
И по секрету — давно уже дарвин не микро, а гибридное ядро.

Зыж
Новость и не новость вовсе. Уж года 4 тут пишу, что так и есть (с пруфами).
Не, не верят.
Отдельные приложения только, как правило портированные с других платформ, могут быть побыстрее.