Update Samsung smdk4412 kernel