lets add the kernel sources