マイクロカーネルって分業をやりすぎると協調にリソースくわれすぎて性能低下をどうするのか、とかそんな話はなかったっけ？