[PATCH 10/20] Documentation: kbuild/kconfig-language: eliminate duplicated word