linux kernel for if301 soc