There is debate about this, but there are certainly cases of compliant non-GPL modules. It doesn't strictly follow. (Consider Ndiswrapper, for example.)
Ndiswrapper is GPL-licensed. The resulting modules are probably not, but they are usually not distributed anyway.
I don't really think the license implies technical minutae like this. The source must simply be made available "on a medium customarily used for software interchange". Whether you point to a tag on kernel.org or host it own your own web servers (both cases including the Kconfig) is irrelevant.
Ndiswrapper is GPL-licensed. The resulting modules are probably not, but they are usually not distributed anyway.
I don't really think the license implies technical minutae like this. The source must simply be made available "on a medium customarily used for software interchange". Whether you point to a tag on kernel.org or host it own your own web servers (both cases including the Kconfig) is irrelevant.
Sure, but have they pointed?