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