Regarding the question of why the src is sometimes called linux-source and sometime kernel-source is that distributions have started to used non-linux kernels, such as kfreebsd kernel and hurd kernel, and thus the kernel source is not nesseccerly a linux source, so this is to distinguish between diffrent kernels sources, this was not the case when linux kernel was explicitly used.