fix url of kernel source code