Track smdk4412 kernel.