altos/stm32f4-disco: Start hooking up stm32f413 USB for the disco board