Build Nuttx for stm32f4