Added smdk4412 kernel