Switch to STM32DISCO