scripts/checkkconfigsymbols.sh: replace echo -e with printf