i9100: switch kernel to smdk4412