[seL4] Re: VM Kernel Modules