diff --git a/nuttx-configs/aerofc-v1/nsh/defconfig b/nuttx-configs/aerofc-v1/nsh/defconfig
index 8c63579cb1..b15d8d150a 100644
--- a/nuttx-configs/aerofc-v1/nsh/defconfig
+++ b/nuttx-configs/aerofc-v1/nsh/defconfig
@@ -377,7 +377,7 @@ CONFIG_BOOT_RUNFROMFLASH=y
 #
 # Board Selection
 #
-CONFIG_ARCH_BOARD_PX4FMU_V4=y
+CONFIG_ARCH_BOARD_AEROFC_V1=y
 CONFIG_ARCH_BOARD_CUSTOM=y
 CONFIG_ARCH_BOARD=""
 
diff --git a/src/drivers/drv_gpio.h b/src/drivers/drv_gpio.h
index 114c2a2d3a..1a57477010 100644
--- a/src/drivers/drv_gpio.h
+++ b/src/drivers/drv_gpio.h
@@ -185,6 +185,10 @@
 
 #endif
 
+#ifdef CONFIG_ARCH_BOARD_AEROFC_V1
+# define PX4FMU_DEVICE_PATH	"/dev/px4fmu"
+#endif
+
 #ifdef CONFIG_ARCH_BOARD_AEROCORE
 /*
  * AeroCore GPIO numbers and configuration.
@@ -238,7 +242,6 @@
 	!defined(CONFIG_ARCH_BOARD_PX4FMU_V4) && \
 	!defined(CONFIG_ARCH_BOARD_SITL) && \
 	!defined(CONFIG_ARCH_BOARD_TAP_V1) && \
-	!defined(CONFIG_ARCH_BOARD_ASC_V1) && \
 	!defined(CONFIG_ARCH_BOARD_AEROFC_V1) && \
 	!defined(CONFIG_ARCH_BOARD_CRAZYFLIE)
 # error No CONFIG_ARCH_BOARD_xxxx set