smdk4412 kernel to our repo