Re: [U-Boot] [PATCH 3/7] tools/genboardscfg.py: be tolerant of insane Kconfig