smdk4412 kernel fix