Add kconfig 3.9 from OpenWRT (patched with patches from tools/kconfig
patches)