GPL additions to https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt - View it on GitHub