Linux kernel for cubieboard2