add stm32f4 discovery board gdb info