[PATCH AUTOSEL 4.19 23/25] checkkconfigsymbols.py: Fix the '--ignore' option