People lost their shit when Spectre mitigations added 20% overhead to kernel calls though. Why wouldn't they do the same for microkernel overhead?