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