This is a good question, and I think it is the source (heh) of a lot of confusion here and on many other sites. I think there may be some practical reasons to use a 'hybrid microkernel'. But without being able to cite actual kernel source code, most discussions are hand waving, and ego arguments.