manifest: remove samsung kernels to save space and traffic