Re: [PATCH 10/19] buildman: Incorporate the genboardscfg.py tool