Look in the /usr/src directory. Klaus leaves notes in there telling you where he got his kernel-sources from and what patches, if any, he applied to it. For the record, I'm certain he uses the pristine kernels from www.kernel.org, but he may change his mind and get it from debian, but debian's kernel-sources are patched with additional patches that differs from the pristine kernels in Linus' source tree.