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