i9100: switch to smdk4412 kernel

Change-Id: I9f614c4a23503c8b14daebf7996b076fcd264db8