Change kconfig to emit disabled symbols in autoconf.h.