I am a 3rd year electrical and electronics engineering student and I am working with the stm32f407 discovery card. It looks like there is st link v2 a embedded on the card, but I can't debug it in any way. Do I need to use st link v2 usb in this card...