gerrit.cesnet.cz / github / trini / u-boot / 6d1966e1236838c8c59d58459901283a0e72dddd / tools / genboardscfg.py