[U-Boot] [PATCH v2 3/3] tools/genboardscfg.py: improve performance more with Kconfiglib