Re: [U-Boot] [U-Boot, v3, 6/7] tools/genboardscfg.py: check if the boards.cfg is up to date