[PATCH] buildman: Allow using older versions of genboardscfg.py