i9100: switch to smdk4412 kernel

Change-Id: I9f614c4a23503c8b14daebf7996b076fcd264db8
merge CyanogenMod

Change-Id: I016266f42a7b7e8895299841420ff1a80e6210d0