Update to kconfig-frontends-3.9.0.0

This brings kconfig to the latest version.  Unfortunately, the build
system won't force a rebuild of the kconfig frontends.  Go to
tools/kconfig-frontends and `make clean` then rebuild F4OS to rebuild
all of the kconfig tools.
Merge branch 'kconfig-3.9'