Use a shorter name for stm32 Discovery board.