checkkconfigsymbols.sh: Kconfig symbols sometimes have lowercase letters