kernel_samsung_manta to our repo