[seL4] Re: Custom kernel for x86 VM