Restructure things so that the PX4 configs move out of the NuttX tree, and most of the PX4-specific board configuration data moves out of the config and into the board driver.

Rename some directories that got left behind in the great board renaming.

src/drivers/stm32/drv_hrt.c

@@ -59,7 +59,7 @@
 #include <errno.h>
 #include <string.h>
 
-#include <arch/board/board.h>
+#include <board_config.h>
 #include <drivers/drv_hrt.h>
 
 #include "chip.h"
@@ -70,8 +70,6 @@
 #include "stm32_gpio.h"
 #include "stm32_tim.h"
 
-#ifdef HRT_TIMER
-
 /* HRT configuration */
 #if   HRT_TIMER == 1
 # define HRT_TIMER_BASE		STM32_TIM1_BASE
@@ -905,6 +903,3 @@ hrt_latency_update(void)
 	/* catch-all at the end */
 	latency_counters[index]++;
 }
-
-
-#endif /* HRT_TIMER */

src/drivers/stm32/tone_alarm/tone_alarm.cpp

@@ -104,7 +104,7 @@
 #include <math.h>
 #include <ctype.h>
 
-#include <arch/board/board.h>
+#include <board_config.h>
 #include <drivers/drv_hrt.h>
 
 #include <arch/stm32/chip.h>