Documentation: fix the explanation of Kconfig files