Added Marvin kernel build