Finding the required Kernel Source