[PATCH AUTOSEL 4.14 17/19] checkkconfigsymbols.py: Fix the '--ignore' option