Remove some of the microcontroller support libraries and add ST-Link flags to openocd.