Added Moshkernel stuff into deconfig file, and Updated kernel's name