[PATCH AUTOSEL 5.14 89/99] checkkconfigsymbols.py: Fix the '--ignore' option