[PATCH AUTOSEL 5.13 78/88] checkkconfigsymbols.py: Fix the '--ignore' option