Modular Kernel Packaging for Cloud