Add light kernel and full kernel to repository