[PATCH 16/19] Drop genboardscfg.py