Add precompiled marmite kernel
Kernel integration in build