Switch to smdk4x12 kernel