board name update for STM32F4 discovery