Update kernel to smdk4412

Change-Id: Ica6e78d8f718f877c869de0bf6c2e7fbcd7c0409