Barrapunto

Si piensas que se puede hacer un microkernel sin cambios de contexto a punta pala, es que no sabes lo que es un microkernel.
Si piensas que no tardan cientos de veces más que una instrucción media, te recomiendo la referencia de la arquitectura x86 (disponible gratuitamente en Intel, ver sección "tiempo de ejecución de instrucciones") junto con una descripción del proceso para un cambio de contexto.

La única ventaja de un microkernel es ser resistente a drivers basura... lo cual permite que los vendedores de hardware no se esfuercen en hacer drivers decentes, ni abiertos... lo cual de ventaja no tiene nada de nada.