Any reason not to use kernel sources from www.kernel.org ?