Insure that CONFIG_ARCH_BOARD_xxx is defined and to be consistent with Nuttx build place them in defconfig files so that config.h will have ONFIG_ARCH_BOARD_xxx defined

nuttx-configs/aerocore/nsh/defconfig

@@ -346,6 +346,7 @@ CONFIG_BOOT_RUNFROMFLASH=y
 #
 # Board Selection
 #
+CONFIG_ARCH_BOARD_AEROCORE=y
 CONFIG_ARCH_BOARD_CUSTOM=y
 CONFIG_ARCH_BOARD=""
 

nuttx-configs/px4fmu-v1/nsh/defconfig

@@ -3,7 +3,6 @@
 # Nuttx/ Configuration
 #
 CONFIG_NUTTX_NEWCONFIG=y
-
 #
 # Build Setup
 #
@@ -340,6 +339,7 @@ CONFIG_BOOT_RUNFROMFLASH=y
 #
 # Board Selection
 #
+CONFIG_ARCH_BOARD_PX4FMU_V1=y
 CONFIG_ARCH_BOARD_CUSTOM=y
 CONFIG_ARCH_BOARD=""
 

nuttx-configs/px4fmu-v2/nsh/defconfig

@@ -381,6 +381,7 @@ CONFIG_BOOT_RUNFROMFLASH=y
 #
 # Board Selection
 #
+CONFIG_ARCH_BOARD_PX4FMU_V2=y
 CONFIG_ARCH_BOARD_CUSTOM=y
 CONFIG_ARCH_BOARD=""
 

src/drivers/drv_gpio.h

@@ -110,6 +110,11 @@
 /* no GPIO driver on the PX4IOv2 board */
 #endif
 
+#if !defined(CONFIG_ARCH_BOARD_PX4IO_V1) && !defined(CONFIG_ARCH_BOARD_PX4IO_V2)  && \
+	!defined(CONFIG_ARCH_BOARD_PX4FMU_V1) && !defined(CONFIG_ARCH_BOARD_PX4FMU_V2) && \
+	!defined(CONFIG_ARCH_BOARD_AEROCORE)
+# error No CONFIG_ARCH_BOARD_xxxx set
+#endif
 /*
  * IOCTL definitions.
  *