linux kernel for i10 soc