diff --git a/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c b/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
index d3fa5bd70e..3fd13eb72f 100644
--- a/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
+++ b/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
@@ -54,7 +54,7 @@
 #include <debug.h>
 #include <errno.h>
 
-#include <nuttx/arch.h>
+#include "platform/cxxinitialize.h"
 #include <nuttx/board.h>
 #include <nuttx/spi/spi.h>
 #include <nuttx/i2c/i2c_master.h>