I am having problems getting the kernel source