Support for the GoodFET30 with the --goodfet30 switch in goodfet.bsl.