Je pense que les 3 types de kernel ne simplifi en rien le développement d'un noyau, car au final tous les noyaux doivent répondre aux mêmes problèmatique et offrir le même type de couche d'abstraction, c'est plus une organisation du code qui permet de maintenir plus facilement le kernel, c'est comme la programmation procédural ou object, les 2 offres une approche différente en terme d'organisation pour faire la même chose.