scripts/checkkconfigsymbols.py: support default statements