GF32 support in the new goodfet.bsl.