diff --git a/headers/private/kernel/arch/arm/bcm283X.h b/headers/private/kernel/arch/arm/bcm283X.h
index 7b20f23d81..d0483e5b6a 100644
--- a/headers/private/kernel/arch/arm/bcm283X.h
+++ b/headers/private/kernel/arch/arm/bcm283X.h
@@ -27,9 +27,11 @@
 #define __PLATFORM_BCM283X_H
 
 
-#define SIZE_4K 0x00001000
+#include <board_config.h>
 
 
+#define SIZE_4K 0x00001000
+
 /*
  * Found in:
  * Broadcom BCM2835 ARM Peripherals
diff --git a/src/system/boot/arch/arm/arch_framebuffer_bcm2835.cpp b/src/system/boot/arch/arm/arch_framebuffer_bcm2835.cpp
index 1176a07e8e..90392d65dc 100644
--- a/src/system/boot/arch/arm/arch_framebuffer_bcm2835.cpp
+++ b/src/system/boot/arch/arm/arch_framebuffer_bcm2835.cpp
@@ -11,7 +11,6 @@
 
 #include "arch_framebuffer.h"
 
-#include <board_config.h>
 #include <arch/arm/bcm283X.h>
 #include <arch/cpu.h>
 #include <boot/stage2.h>
diff --git a/src/system/boot/arch/arm/arch_mailbox_bcm2835.cpp b/src/system/boot/arch/arm/arch_mailbox_bcm2835.cpp
index e9fa3ce470..fa0abb64cc 100644
--- a/src/system/boot/arch/arm/arch_mailbox_bcm2835.cpp
+++ b/src/system/boot/arch/arm/arch_mailbox_bcm2835.cpp
@@ -12,7 +12,6 @@
 #include "arch_mailbox.h"
 
 #include <atomic>
-#include <board_config.h>
 #include <arch/arm/bcm283X.h>
 
 #include "arch_cpu.h"