add kernel smdk4412