4.3.2 voordelen van microkernel