Linux kernel source for Cubieboard A10 (sun4i)