Add kernel source