diff --git a/src/drivers/boards/common/board_common.h b/src/drivers/boards/common/board_common.h
index e6df760ec4..b53f5d8608 100644
--- a/src/drivers/boards/common/board_common.h
+++ b/src/drivers/boards/common/board_common.h
@@ -44,6 +44,7 @@
  * Included Files
  ************************************************************************************/
 #include <errno.h>
+#include <stdint.h>
 /************************************************************************************
  * Definitions
  ************************************************************************************/
diff --git a/src/drivers/boards/rpi/board_config.h b/src/drivers/boards/rpi/board_config.h
index 2e44158a2e..bcbaec6b7f 100644
--- a/src/drivers/boards/rpi/board_config.h
+++ b/src/drivers/boards/rpi/board_config.h
@@ -47,3 +47,6 @@
 #define BOARD_HAS_NO_BOOTLOADER
 
 #define BOARD_MAX_LEDS 1 // Number external of LED's this board has
+
+#include <system_config.h>
+#include "../common/board_common.h"
diff --git a/src/drivers/boards/sitl/board_config.h b/src/drivers/boards/sitl/board_config.h
index 3a2ffaa21b..435f652e48 100644
--- a/src/drivers/boards/sitl/board_config.h
+++ b/src/drivers/boards/sitl/board_config.h
@@ -44,3 +44,6 @@
 #define BOARD_BATTERY1_A_PER_V (15.391030303f)
 #define BOARD_HAS_NO_RESET
 #define BOARD_HAS_NO_BOOTLOADER
+
+#include <system_config.h>
+#include "../common/board_common.h"
diff --git a/src/platforms/qurt/include/board_config.h b/src/platforms/qurt/include/board_config.h
index 480cb6ddd4..337e59fb47 100644
--- a/src/platforms/qurt/include/board_config.h
+++ b/src/platforms/qurt/include/board_config.h
@@ -9,3 +9,5 @@
 #define PX4_I2C_OBDEV_LED	0x55
 
 #define BOARD_OVERRIDE_UUID "SYSMEMID"
+
+#include "../common/board_common.h"