Re: Modular Kernel Packaging for Cloud