Kernel source for cubieboard