[PATCH 2/4] buildman: Ask genboardscfg to be quiet