diff --git a/configs/cc3200-launchpad/include/board.h b/configs/cc3200-launchpad/include/board.h
index 4cf24da5f8..7dd4eb2d07 100644
--- a/configs/cc3200-launchpad/include/board.h
+++ b/configs/cc3200-launchpad/include/board.h
@@ -202,8 +202,9 @@ void tiva_boardinitialize(void);
  *
  ************************************************************************************/
 
-#ifndef CONFIG_ARCH_LEDS
 void cc3200_ledinit(void);
+
+#ifndef CONFIG_ARCH_LEDS
 void cc3200_setled(int led, unsigned char ledon);
 void cc3200_setleds(unsigned char ledset);
 #endif
diff --git a/configs/stm32f4discovery/src/stm32f4discovery.h b/configs/stm32f4discovery/src/stm32f4discovery.h
index 3bafb7aa31..dca0b4a490 100644
--- a/configs/stm32f4discovery/src/stm32f4discovery.h
+++ b/configs/stm32f4discovery/src/stm32f4discovery.h
@@ -43,6 +43,7 @@
 #include <nuttx/config.h>
 #include <nuttx/compiler.h>
 #include <stdint.h>
+#include <arch/stm32/chip.h>
 
 /****************************************************************************
  * Pre-processor Definitions