kbuild: script to check for undefined Kconfig symbols