i777: switch to smdk4412 kernel

Change-Id: I352730a4d01c6178478f84e6bb250fca0842cd15