Defence of "Microkernelization of Linux"