for consistency you should move all those configure arguments into the OPENOCD_OPTIONS variable here