Linux kernel source tree for SolidRun CuBox