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