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