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