Re: [PATCH] genboardscfg.py: fix python version dependency comment