diff --git a/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h b/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h
index 5c4c913b49..0c64e7b3e7 100644
--- a/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h
+++ b/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h
@@ -326,6 +326,21 @@ __BEGIN_DECLS
 		{0,                      GPIO_VDD_3V3_SENSORS_EN, 0}, \
 		{GPIO_VDD_BRICK_VALID,   0,                       0}, }
 
+/*
+ * GPIO numbers.
+ *
+ * There are no alternate functions on this board.
+ */
+#define GPIO_SERVO_1          (1<<0)  /**< servo 1 output */
+#define GPIO_SERVO_2          (1<<1)  /**< servo 2 output */
+#define GPIO_SERVO_3          (1<<2)  /**< servo 3 output */
+#define GPIO_SERVO_4          (1<<3)  /**< servo 4 output */
+#define GPIO_SERVO_5          (1<<4)  /**< servo 5 output */
+#define GPIO_SERVO_6          (1<<5)  /**< servo 6 output */
+
+#define GPIO_3V3_SENSORS_EN   (1<<6)  /**< PE3  - VDD_3V3_SENSORS_EN */
+#define GPIO_BRICK_VALID      (1<<7)  /**< PB10 - !VDD_BRICK_VALID */
+
 /* This board provides a DMA pool and APIs */
 
 #define BOARD_DMA_ALLOC_POOL_SIZE 5120
diff --git a/src/drivers/drv_gpio.h b/src/drivers/drv_gpio.h
index 88e84df70f..3e001cc2e4 100644
--- a/src/drivers/drv_gpio.h
+++ b/src/drivers/drv_gpio.h
@@ -74,30 +74,6 @@
 
 #endif
 
-
-#ifdef CONFIG_ARCH_BOARD_PX4NUCLEOF767ZI_V1
-/*
- * PX4FMUv3 GPIO numbers.
- *
- * There are no alternate functions on this board.
- */
-# define GPIO_SERVO_1           (1<<0)      /**< servo 1 output */
-# define GPIO_SERVO_2           (1<<1)      /**< servo 2 output */
-# define GPIO_SERVO_3           (1<<2)      /**< servo 3 output */
-# define GPIO_SERVO_4           (1<<3)      /**< servo 4 output */
-# define GPIO_SERVO_5           (1<<4)      /**< servo 5 output */
-# define GPIO_SERVO_6           (1<<5)      /**< servo 6 output */
-
-# define GPIO_3V3_SENSORS_EN    (1<<7)      /**< PE3 - VDD_3V3_SENSORS_EN */
-# define GPIO_BRICK_VALID       (1<<8)      /**< PB5 - !VDD_BRICK_VALID */
-
-/**
- * Device paths for things that support the GPIO ioctl protocol.
- */
-# define PX4FMU_DEVICE_PATH "/dev/px4fmu"
-
-#endif
-
 #ifdef CONFIG_ARCH_BOARD_PX4FMU_V4
 /*
  * PX4FMUv4 GPIO numbers.
@@ -243,7 +219,6 @@
 	!defined(CONFIG_ARCH_BOARD_PX4FMU_V4PRO)         && \
 	!defined(CONFIG_ARCH_BOARD_PX4IO_V1)             && \
 	!defined(CONFIG_ARCH_BOARD_PX4IO_V2)             && \
-	!defined(CONFIG_ARCH_BOARD_PX4NUCLEOF767ZI_V1)   && \
 	!defined(CONFIG_ARCH_BOARD_SITL)                 && \
 	!defined(CONFIG_ARCH_BOARD_TAP_V1)
 # error No CONFIG_ARCH_BOARD_xxxx set