openOCD script for STM32Fxxx