[PATCH AUTOSEL 5.4 35/37] checkkconfigsymbols.py: Fix the '--ignore' option