added stuff for updating the kernel source