sourcery g++ gdb script for STM32F4xx