[U-Boot] [PATCH v2 7/7] tools/genboardscfg.py: improve performance