tools/genboardscfg.py: Do not output SPLCPU field