Clone Linux kernel source tree