nuttx on the stm32f4discovery